The bounded proper forcing axiom and well orderings of the reals

DOI10.4310/MRL.2006.V13.N3.A5zbMATH Open1113.03039WikidataQ113999074 ScholiaQ113999074MaRDI QIDQ867372FDOQ867372

Authors: Andrés Eduardo Caicedo, Boban Velickovic 

Publication date: 15 February 2007

Published in: Mathematical Research Letters (Search for Journal in Brave)

Recommendations

• BPFA and projective well-orderings of the reals
• Projective well-orderings and bounded forcing axioms
• The bounded proper forcing axiom
• Definable MAD families and forcing axioms
• Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders

zbMATH Keywords

inner modelminimal modelsMRPdecision problemBPFAdefinable well-orderingsHärtig quantifier

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Other combinatorial set theory (03E05) Other aspects of forcing and Boolean-valued models (03E40) Other set-theoretic hypotheses and axioms (03E65) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47)

Cited In (34)

• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• Incompatible bounded category forcing axioms
• 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011
• Definable MAD families and forcing axioms
• DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS
• Title not available (Why is that?)
• The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃
• Forcing with sequences of models of two types
• Forcing axioms and the uniformization-property
• BPFA and projective well-orderings of the reals
• Prevalence of Generic Laver Diamond
• MRP, tree properties and square principles
• Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺)
• NS SATURATED AND -DEFINABLE
• Subcomplete forcing principles and definable well‐orders
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• Guessing and non-guessing of canonical functions
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders
• A combinatorial forcing for coding the universe by a real when there are no sharps
• Projective well-orderings and bounded forcing axioms
• The bounded proper forcing axiom
• The \(\ast\)-variation of the Banach-Mazur game and forcing axioms
• Partition properties for simply definable colourings
• Forcing axioms and the continuum hypothesis
• What makes the continuum ℵ₂
• Inner-model reflection principles
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• Some consequences from proper forcing axiom together with large continuum and the negation of Martin's axiom
• A WELLORDER OF THE REALS WITH SATURATED
• Takeuti's well-ordering proof: finitistically fine?
• On the consistency strength of the proper forcing axiom
• BPFA and inner models
• A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings

This page was built for publication: The bounded proper forcing axiom and well orderings of the reals

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