Non-absoluteness of Hjorth’s cardinal characterization

DOI10.4064/FM115-3-2023MaRDI QIDQ6144983zbMATH OpenOpenAlexFDO

Authors Philipp Lücke, Ioannis Souldatos

Publication date 30 January 2024

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

almost disjoint families of functionsBounded Proper Forcing Axiomcharacterizing cardinalsinfinitary sentencesnon-absoluteness

Mathematics Subject Classification ID

Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35) Set-theoretic model theory (03C55) Other infinitary logic (03C75) Consistency and independence results (03E35) Generic absoluteness and forcing axioms (03E57)

Abstract: In [5], Hjorth proved that for every countable ordinal $alpha$, there exists a complete $mathcal{L}_{omeg{a}_1,omega}$-sentence $ph{i}_{a}lpha$ that has models of all cardinalities less than or equal to $alep{h}_{a}lpha$, but no models of cardinality $alep{h}_{alpha+1}$. Unfortunately, his solution does not yield a single $mathcal{L}_{omeg{a}_1,omega}$-sentence $ph{i}_{a}lpha$, but a set of $mathcal{L}_{omeg{a}_1,omega}$-sentences, one of which is guaranteed to work. It was conjectured in [9] that it is independent of the axioms of ZFC which of these sentences has the desired property. In the present paper, we prove that this conjecture is true. More specifically, we isolate a diagonalization principle for functions from $omeg{a}_1$ to $omeg{a}_1$ which is a consequence of the Bounded Proper Forcing Axiom (BPFA) and then we use this principle to prove that Hjorth's solution to characterizing $alep{h}_2$ in models of BPFA is different than in models of CH. In addition, we show that large cardinals are not needed to obtain this independence result by proving that our diagonalization principle can be forced over models of CH.

Cites work

• Almost-disjoint sets the dense set problem and the partition calculus
• Baumgartner's isomorphism problem for \(\aleph _2\)-dense suborders of \(\mathbb {R}\)
• Bounded forcing axioms as principles of generic absoluteness
• Directed Sets and Cofinal Types
• DISJOINT AMALGAMATION IN LOCALLY FINITE AEC
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• KNIGHT'S MODEL, ITS AUTOMORPHISM GROUP, AND CHARACTERIZING THE UNCOUNTABLE CARDINALS
• Notes on cardinals that are characterizable by a complete (Scott) sentence
• Proper forcing
• The bounded proper forcing axiom
• The nonstationary ideal in the ℙ_max extension

This page was built for publication: Non-absoluteness of Hjorth’s cardinal characterization

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