Countable structure does not have a free uncountable automorphism group
Shelah, Saharon
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.