On the number of automorphisms of uncountable models

DOI10.2307/2275150zbMATH Open0805.03019arXivmath/9301205OpenAlexW2100246841MaRDI QIDQ4283074FDOQ4283074

Authors: S. Shelah, Heikki Tuuri, Jouko Väänänen 

Publication date: 29 January 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: Let s(A) denote the number of automorphisms of a model A of power omega_1. We derive a necessary and sufficient condition in terms of trees for the existence of an A with omega_1 < s(A) < 2^{omega_1}. We study the sufficiency of some conditions for s(A)=2^{omega_1}. These conditions are analogous to conditions studied by D.Kueker in connection with countable models.

Full work available at URL: https://arxiv.org/abs/math/9301205

Recommendations

• The Ehrenfeucht-Fraisse-Game of Length ω 1
• scientific article; zbMATH DE number 1899880
• More on the Ehrenfeucht–Fraisse game of length ω₁
• On the number of nonisomorphic models of an infinitary theory which has the infinitary order property. Part A
• Positional strategies in long Ehrenfeucht-Fraïssé games

zbMATH Keywords

inaccessible cardinalperfect modelnumber of automorphismsEhrenfeucht-Fraïssé gamemodels of power \(\omega_ 1\)

Mathematics Subject Classification ID

Consistency and independence results (03E35) Set-theoretic model theory (03C55) Large cardinals (03E55)

Cites Work

• Title not available (Why is that?)
• Infinite games and reduced products
• The syntax and semantics of infinitary languages
• Class groups of integral group rings

Cited In (10)

• Positional strategies in long Ehrenfeucht-Fraïssé games
• Automorphisms of Countable Recursively Saturated Models of PA: Open Subgroups and Invariant Cuts
• Classification theory and 0^#
• The Ehrenfeucht-Fraisse-Game of Length ω 1
• Closed maximality principles and generalized Baire spaces
• Automorphisms of models of arithmetic: a unified view
• On two questions concerning the automorphism groups of countable recursively saturated models of PA
• Title not available (Why is that?)
• KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
• On the number of nonisomorphic models of size |T|

This page was built for publication: On the number of automorphisms of uncountable models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4283074)