Large cardinals and locally defined well-orders of the universe

DOI10.1016/J.APAL.2008.07.006MaRDI QIDQ1001908zbMATH OpenOpenAlexFDO

Authors David Asperó, Sy-David Friedman

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

definable well-orderslarge cardinal preservationhuge cardinalsouter model programmesupercompactness

Mathematics Subject Classification ID

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

Recommendations

• Large cardinals and definable well-orders, without the GCH
• Large cardinals and lightface definable well-orders, without the GCH
• Large cardinals and definable well-orders on the universe
• Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)
• Simplest possible locally definable well-orders

Cites work

• scientific article; zbMATH DE number 5233908 (Why is no real title available?)
• A Proof of Projective Determinacy
• An \(L\)-like model containing very large cardinals
• Coding with ladders a well ordering of the reals
• Elementary embeddings and infinitary combinatorics
• Fine structure and class forcing
• Indexed squares
• Large cardinals and definable well-orders on the universe
• On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
• On the strong equality between supercompactness and strong compactness
• Precipitous ideals
• Set theory. An introduction to independence proofs
• The higher infinite. Large cardinals in set theory from their beginnings.

Cited in

(12)

• Indestructibility of Vopěnka's principle
• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
• Large cardinals and lightface definable well-orders, without the GCH
• Forcing lightface definable well-orders without the GCH
• Certain very large cardinals are not created in small forcing extensions
• Large cardinals and definable well-orders on the universe
• Separating club-guessing principles in the presence of fat forcing axioms
• A definable failure of the singular cardinal hypothesis
• Questions on generalised Baire spaces
• scientific article; zbMATH DE number 5233908 (Why is no real title available?)
• Large cardinals and definable well-orders, without the GCH
• Definable well-orders of \(H(\omega _2)\) and GCH

This page was built for publication: Large cardinals and locally defined well-orders of the universe

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