Linear orderings and powers of characterizable cardinals

DOI10.1016/J.APAL.2011.09.002zbMATH Open1250.03060arXiv1012.3405OpenAlexW1975573919WikidataQ59166146 ScholiaQ59166146MaRDI QIDQ409319FDOQ409319

Authors: Ioannis Souldatos 

Publication date: 13 April 2012

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

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.

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

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

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)

Cites Work

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

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)