Linear orderings and powers of characterizable cardinals

DOI10.1016/J.APAL.2011.09.002MaRDI QIDQ409319zbMATH OpenOpenAlexWikidataFDO

Authors Ioannis Souldatos

Publication date 13 April 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

infinitary logiccardinal powercharacterizable cardinaldense linear orderingScott sentence

Mathematics Subject Classification ID

Other model constructions (03C30) Categoricity and completeness of theories (03C35) Set-theoretic model theory (03C55) Other infinitary logic (03C75) Ordinal and cardinal numbers (03E10)

Abstract: The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M is linearly ordered by <, we will say that the linear ordering (M,<) characterizes kappa. It is known that if kappa is characterizable, then kappa plus is characterizable by a linear ordering. Also, if kappa is characterizable by a dense linear ordering with an increasing sequence of size kappa, then 2^kappa is characterizable. We show that if kappa is homogeneously characterizable, then kappa is characterizable by a dense linear ordering, while the converse fails. The main theorems are: 1) If kappa>2^lambda is a characterizable cardinal, lambda is characterizable by a dense linear ordering and lambda is the least cardinal such that kappa^lambda>kappa, then kappa^lambda is also characterizable, 2) if aleph_alpha and kappa^(aleph_alpha) are characterizable cardinals, then the same is true for kappa^(aleph_(alpha+beta)), for all countable beta. Combining these two theorems we get that if kappa>2^(aleph_alpha) is a characterizable cardinal, aleph_alpha is characterizable by a dense linear ordering and aleph_alpha is the least cardinal such that kappa^(aleph_alpha)>kappa, then for all beta<alpha+omega_1, kappa^(aleph_beta) is characterizable. Also if kappa is a characterizable cardinal, then kappa^(aleph_alpha) is characterizable, for all countable alpha.

Recommendations

• Characterizing the powerset by a complete (Scott) sentence
• Notes on cardinals that are characterizable by a complete (Scott) sentence
• Second-order characterizable cardinals and ordinals
• Cardinal sequences of length < ω₂under GCH
• Cardinal sequences of LCS spaces under GCH

Cites work

• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 3336793 (Why is no real title available?)
• $L_{{ω_1}ω}$ equivalence between countable and uncountable linear orderings
• A complete L_ω1ω-sentence characterizing ℵ₁
• Almost-disjoint sets the dense set problem and the partition calculus
• KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
• Notes on cardinals that are characterizable by a complete (Scott) sentence
• The Hanf number for complete L_ω1,ω-sentences (without GCH)

Cited in

(7)

• Characterizing the powerset by a complete (Scott) sentence
• Second-order characterizable cardinals and ordinals
• Embeddability between orderings and GCH
• Complete \(\mathcal{L}_{\omega_1,\omega}\)-sentences with maximal models in multiple cardinalities
• Notes on cardinals that are characterizable by a complete (Scott) sentence
• On second-order characterizability
• Three red herrings around Vaught's conjecture

This page was built for publication: Linear orderings and powers of characterizable cardinals

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