Large cardinals and locally defined well-orders of the universe

DOI10.1016/j.apal.2008.07.006zbMath1155.03041OpenAlexW2080177675MaRDI QIDQ1001908

Sy-David Friedman, David Asperó

Publication date: 19 February 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.07.006

zbMATH Keywords

supercompactnessdefinable well-orderslarge cardinal preservationhuge cardinalsouter model programme

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other notions of set-theoretic definability (03E47)

Related Items

-definability at uncountable regular cardinals ⋮ A definable failure of the singular cardinal hypothesis ⋮ Separating club-guessing principles in the presence of fat forcing axioms ⋮ Indestructibility of Vopěnka's principle ⋮ Large cardinals and definable well-orders, without the GCH ⋮ Definable well-orders of H(ω₂) and GCH ⋮ Forcing lightface definable well-orders without the GCH ⋮ Large cardinals and definable well-orders on the universe ⋮ Questions on generalised Baire spaces ⋮ LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH

Cites Work

• Unnamed Item
• Unnamed Item
• An \(L\)-like model containing very large cardinals
• Set theory. An introduction to independence proofs
• Fine structure and class forcing
• Indexed squares
• Coding with ladders a well ordering of the reals
• Elementary embeddings and infinitary combinatorics
• Large cardinals and definable well-orders on the universe
• A Proof of Projective Determinacy
• Precipitous ideals
• On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
• On the strong equality between supercompactness and strong compactness