Large cardinals and locally defined well-orders of the universe

DOI10.1016/J.APAL.2008.07.006zbMATH Open1155.03041OpenAlexW2080177675MaRDI QIDQ1001908FDOQ1001908

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

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

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)

Cites Work

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

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
• A definable failure of the singular cardinal hypothesis
• Separating club-guessing principles in the presence of fat forcing axioms
• Questions on generalised Baire spaces
• Title not available (Why is that?)
• 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)