ZFC proves that the class of ordinals is not weakly compact for definable classes

DOI10.1017/JSL.2017.75MaRDI QIDQ4638982zbMATH OpenOpenAlexWikidataFDO

Authors Ali Enayat, Joel David Hamkins

Publication date 2 May 2018

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

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

zbMATH Keywords

weakly compact cardinalZermelo-Fraenkel set theoryGödel-Bernays class theory

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Models of arithmetic and set theory (03C62)

Abstract: We prove that the class of all ordinals Ord is not weakly compact with respect to definable classes. Specifically, in any model of ZFC, the definable tree property fails for Ord, in that there is a definable Ord tree with no definable cofinal branch; the definable partition property fails, in that there is a definable 2-coloring of pairs from a certain definable proper class, with no definable homogeneous proper class; and the definable compactness property fails for $mathcal{L}_{infty,omega}$, in that there is a definable theory in this logic all of whose set-sized subtheories are satisfiable, but which has no definable proper class model. In addition, we prove that the definable diamond principle $Diamon{d}_{mOrd}$ holds if and only if there is a definable well-ordering of the universe. And we prove that the common theory of all spartan models of G"odel-Bernays set theory, those having only definable classes, is $P{i}_1^1$-complete.

Recommendations

• Set theory with a proper class of indiscernibles
• Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic
• On the consistency of the Definable Tree Property on ℵ₁
• The definable tree property for successors of cardinals
• The consistency strength of an infinitary Ramsey property

Cites work

• scientific article; zbMATH DE number 3861143 (Why is no real title available?)
• scientific article; zbMATH DE number 3494394 (Why is no real title available?)
• scientific article; zbMATH DE number 3531386 (Why is no real title available?)
• scientific article; zbMATH DE number 2144527 (Why is no real title available?)
• scientific article; zbMATH DE number 873158 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• Blunt and topless end extensions of models of set theory
• On Certain Elementary Extensions of Models of Set Theory
• On the consistency of the Definable Tree Property on ℵ₁
• Power-like models of set theory
• Powers of regular cardinals
• Ramsey's theorem and recursion theory
• Set theory. An introduction to independence proofs. 2nd print
• Some impredicative definitions in the axiomatic set theory

Cited in

(3)

• Set theory with a proper class of indiscernibles
• First‐order undefinability of the notion of transfinitely uplifting cardinals
• Rank-initial embeddings of non-standard models of set theory

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: ZFC proves that the class of ordinals is not weakly compact for definable classes

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