Changing the heights of automorphism towers
Joel David Hamkins, Simon Thomas
Abstract
If G is a centreless group, then τ(G) denotes the height of the automorphism tower of G. We prove that it is consistent that for every cardinal λ and every ordinal α< λ, there exists a centreless group G such that (a) τ(G) = α; and (b) if β is any ordinal such that 1 ≤ β< λ, then there exists a notion of forcing P, which preserves cofinalities and cardinalities, such that τ(G) = β in the corresponding generic extension VP.
Create a lesson
Related papers
Teams, Truthmakers, Translations
Maria Aloni, Alexandru Baltag, Johan van Benthem et al.
A counterexample to Vaught's Conjecture for Lω1,ω
Nathanael L. Ackerman, Cameron E. Freer, Robin W. Knight
Internal Languages for Thin Epsilon-Hyperdoctrines: Soundness, Completeness, and Rocq Formalization
Zoltán Gábor Molnár, Csaba Tóth
Nonstandard combinatorial ultrafilters and a new local witness model
Johannes Heil, Moritz Müller
A Countable Three-Generated Orthomodular Lattice with No σ-Complete Embedding
Joaquim Reizi Higuchi
Order-preserving maps of the Turing degrees: regularity and consistency strength
Liang Yu