On the number of automorphisms of uncountable models
From MaRDI portal
Publication:4283074
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.
Recommendations
- The Ehrenfeucht-Fraisse-Game of Length ω 1
- scientific article; zbMATH DE number 1899880
- More on the Ehrenfeucht–Fraisse game of length ω1
- 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
Cites work
Cited in
(10)- On the number of nonisomorphic models of size |T|
- 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
- scientific article; zbMATH DE number 2144534 (Why is no real title available?)
- KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
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)