Large cardinals and definable well-orders on the universe

DOI10.2178/JSL/1243948331MaRDI QIDQ3630583zbMATH OpenOpenAlexWikidataFDO

Authors A. D. Brooke-Taylor

Publication date 4 June 2009

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

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

zbMATH Keywords

codingGCHvery large cardinalsdefinable well-orderreverse Easton forcing iteration

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Abstract: We use a reverse Easton forcing iteration to obtain a universe with a definable well-ordering, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle diamond star at a proper class of successor cardinals.

Recommendations

• Large cardinals and definable well-orders, without the GCH
• Large cardinals and locally defined well-orders of the universe
• Large cardinals and lightface definable well-orders, without the GCH
• Forcing lightface definable well-orders without the GCH
• Measurable cardinals and good \(\Sigma_1(\kappa)\)-wellorderings

Cites work

• Fine structure and class forcing
• Gap Forcing: Generalizing the Lévy-Solovay Theorem
• Indexed squares
• Large cardinals and locally defined well-orders of the universe
• Squares, scales and stationary reflection
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The lottery preparation
• The wholeness axioms and V=HOD

Cited in

(20)

• Indestructibility of Vopěnka's principle
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• scientific article; zbMATH DE number 3926909 (Why is no real title available?)
• Inner models with large cardinal features usually obtained by forcing
• Coding into HOD via normal measures with some applications
• Pointwise definable models of set theory
• Accessing the switchboard via set forcing
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Mutually embeddable models of ZFC
• The consistency of level by level equivalence with \(V=\mathrm{HOD}\), the ground axiom, and instances of square and diamond
• Large cardinals need not be large in HOD
• HOD, V and the GCH
• The relative consistency of a ``large cardinal property for \(\omega_ 1\)
• Large cardinals and locally defined well-orders of the universe
• scientific article; zbMATH DE number 5233908 (Why is no real title available?)
• MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
• Large cardinals and definable well-orders, without the GCH
• Subcompact cardinals, squares, and stationary reflection
• Set-theoretic geology
• Strong combinatorial principles and level by level equivalence

This page was built for publication: Large cardinals and definable well-orders on the universe

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