On automorphism groups of countable structures
Keyword(s):
AbstractStrengthening a theorem of D. W. Kueker, this paper completely charaterizes which countable structures do not admit uncountable Lω1ω-elementarily equivalent models. In particular, it is shown that if the automorphism group of a countable structure M is abelian, or even just solvable, then there is no uncountable model of the Scott sentence of M. These results arise as part of a study of Polish groups with compatible left-invariant complete metrics.
Keyword(s):
Keyword(s):
2016 ◽
Vol 38
(4)
◽
pp. 1588-1600
◽
Keyword(s):
1992 ◽
Vol 35
(1)
◽
pp. 115-120
Keyword(s):
2018 ◽
Vol 2020
(7)
◽
pp. 1942-1956
Keyword(s):