Countable structure does not have a free uncountable automorphism group
Abstract
Solecki proved that the group of automorphisms of a countable structure cannot be an uncountable free abelian group. See more in Just, Shelah and Thomas math.LO/0003120 where as a by product we can say something on on uncountable structures. We prove here the following Theorem: If A is a countable model, then Aut(M) cannot be a free uncountable group.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- October 2000
- DOI:
- 10.48550/arXiv.math/0010305
- arXiv:
- arXiv:math/0010305
- Bibcode:
- 2000math.....10305S
- Keywords:
-
- Logic