Given a compact linear Lie group G, we form a natural expansion of the theory of the reals where G and the graph of a logarithm function on G live. We prove its effective model-completeness and decidability modulo a suitable variant of Schanuel’s Conjecture.
ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS
L'INNOCENTE, Sonia;TOFFALORI, Carlo
2013-01-01
Abstract
Given a compact linear Lie group G, we form a natural expansion of the theory of the reals where G and the graph of a logarithm function on G live. We prove its effective model-completeness and decidability modulo a suitable variant of Schanuel’s Conjecture.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
