On the number of automorphism of uncontable models
Abstract
Let s(A) denote the number of automorphisms of a model A of power omega1. We derive a necessary and sufficient condition in terms of trees for the existence of an A with omega1 < s(A) < 2omega1. We study the sufficiency of some conditions for s(A)=2omega1. These conditions are analogous to conditions studied by D.Kueker in connection with countable models.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.