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

DOI10.1017/JSL.2017.75zbMATH Open1447.03016arXiv1610.02729OpenAlexW2963610041WikidataQ129898451 ScholiaQ129898451MaRDI QIDQ4638982FDOQ4638982

Authors: Ali Enayat, Joel David Hamkins 

Publication date: 2 May 2018

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Powers of regular cardinals
• Title not available (Why is that?)
• Set theory. An introduction to independence proofs. 2nd print
• Title not available (Why is that?)
• Ramsey's theorem and recursion theory
• Title not available (Why is that?)
• On Certain Elementary Extensions of Models of Set Theory
• On the consistency of the Definable Tree Property on ℵ₁
• Title not available (Why is that?)
• Blunt and topless end extensions of models of set theory
• Power-like models of set theory
• Some impredicative definitions in the axiomatic set theory
• Title not available (Why is that?)

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

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)