ON THE MODEL THEORY OF THE LOGARITHMIC FUNCTION IN COMPACT LIE GROUPS
2013 ◽
Vol 12
(08)
◽
pp. 1350055
Keyword(s):
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.
2011 ◽
Vol 54
(2)
◽
pp. 207-216
◽
Keyword(s):
Keyword(s):
1996 ◽
Vol 120
(1)
◽
pp. 61-69
◽
Keyword(s):
1978 ◽
Vol 18
(2)
◽
pp. 243-254
◽
Keyword(s):
Keyword(s):
2014 ◽
Vol 13
(2)
◽
pp. 313-335
2000 ◽
Vol 20
(2)
◽
pp. 335-342
◽
Keyword(s):
1968 ◽
Vol 32
◽
pp. 109-139
◽
Keyword(s):
2019 ◽
Vol 100
(3)
◽
pp. 440-445
Keyword(s):