Large cardinals and definable well-orders on the universe

DOI10.2178/JSL/1243948331zbMATH Open1166.03029arXiv0711.2591OpenAlexW2045982637WikidataQ61834610 ScholiaQ61834610MaRDI QIDQ3630583FDOQ3630583

Authors: A. D. Brooke-Taylor 

Publication date: 4 June 2009

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

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.

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

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

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)

Cites Work

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

Cited In (20)

• Indestructibility of Vopěnka's principle
• Title not available (Why is that?)
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• 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
• HOD, V and the GCH
• Large cardinals need not be large in HOD
• The relative consistency of a ``large cardinal property for \(\omega_ 1\)
• Title not available (Why is that?)
• Large cardinals and locally defined well-orders of the universe
• MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
• Large cardinals and definable well-orders, without the GCH
• Set-theoretic geology
• Subcompact cardinals, squares, and stationary reflection
• 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)