On automorphism groups of countable structures
Let \(L\) be a countable first-order language, \(M\) be a countable \(L\)-structure and \(\Aut(M)\) be the group of all automorphisms of \(M\), endowed with a canonical Polish topology. \textit{D. W. Kueker} [Lect. Notes Math. 72, 152-165 (1968; Zbl 0235.02018)] proved that if \(\Aut(M)\) is countable, then there is no uncountable model of the Scott sentence of \(M\). The main result of the reviewed paper is the following theorem: The following are equivalent: 1. There is no uncountable model of the Scott sentence of \(M\). 2. \(\Aut(M)\) admits a compatible left-invariant complete metric. 3. There is no \(L_{\omega_1\omega}\)-elementary embedding from \(M\) into itself which is not onto.
- Automorphism groups of countable stable structures
- A COUNTABLE STRUCTURE DOES NOT HAVE A FREE UNCOUNTABLE AUTOMORPHISM GROUP
- Countable structures with a fixed group of automorphisms
- The Automorphism Group of a Countable Recursively Saturated Structure
- KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
- A note on groups with countable automorphism groups
- Countable structures with a fixed group of automorphisms
- Scale type \((N,N)\) and an order-based topology induced on the automorphism group
- A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part
- Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form X/G where G acts on a Polish space X
- The nonabsoluteness of model existence in uncountable cardinals for \(L_{\omega_{1},\omega}\)
- Topological 2-generation of automorphism groups of countable ultrahomogeneous graphs
- Metric Scott analysis
- On Polish groups admitting non-essentially countable actions
- Polish group actions: Dichotomies and generalized elementary embeddings
- Vaught’s conjecture on analytic sets
- KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
- Automorphism groups of generic structures: extreme amenability and amenability
- Higher-dimensional obstructions for star reductions
- Automorphism groups of countable stable structures
- Borel complexity of families of finite equivalence relations via large cardinals
- Uncountable cofinalities of automorphism groups of linear and partial orders
This page was built for publication: On automorphism groups of countable structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4227872)
