On the number of automorphism of uncontable models
Saharon Shelah, Heikki Tuuri, Jouko Väänänen
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.
Create a lesson
Related papers
Pseudofinite abelian groups and asymptotic classes of finite abelian groups
Carlos Cordoba-Caycedo, Dario Garcia
Spectral Theory and Descriptive Combinatorics for Non-Regular Borel pmp Graphs
Cecelia Higgins, Pieter Spaas, Sofia Torelli
The strength of the minimum principle in constructive reverse mathematics
Tatsuji Kawai
Independence of premise for intuitionistic Zermelo-Fraenkel set theory
Patrick Uftring
Condensed Whitehead Problem
Spencer Unger, Jerry Wei
Points and their multiples on curves in powers of simple abelian varieties
David J. Smith