Incompatible Ω-Complete Theories

DOI10.2178/jsl/1254748685zbMath1192.03036OpenAlexW2033883636MaRDI QIDQ3655250

W. Hugh Woodin, Peter Koellner

Publication date: 7 January 2010

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.5196

zbMATH Keywords

Woodin cardinal\(\Omega\)-logic\(\Omega\)-complete theory

Mathematics Subject Classification ID

Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65)

Related Items (5)

Accessing the switchboard via set forcing ⋮ Forcing, Multiverse and Realism ⋮ On reflection principles ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms ⋮ Feferman on Set Theory: Infinity up on Trial

Cites Work

• Unnamed Item
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Cabal Seminar 79-81. Proceedings, Caltech-UCLA Logic Seminar 1979-81
• Measurable cardinals and the continuum hypothesis
• Certain very large cardinals are not created in small forcing extensions
• On the Question of Absolute Undecidability
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• Small forcing creates neither strong nor Woodin cardinals

This page was built for publication: Incompatible Ω-Complete Theories