The bounded proper forcing axiom and well orderings of the reals

DOI10.4310/MRL.2006.V13.N3.A5MaRDI QIDQ867372zbMATH OpenWikidataFDO

Authors Andrés Eduardo Caicedo, Boban Velickovic

Publication date 15 February 2007

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

Full work available at URL https://doi.org/10.4310/MRL.2006.V13.N3.A5

zbMATH Keywords

BPFAdecision problemdefinable well-orderingsHärtig quantifierinner modelminimal modelsMRP

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) Inner models, including constructibility, ordinal definability, and core models (03E45) Other notions of set-theoretic definability (03E47) Other set-theoretic hypotheses and axioms (03E65)

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

Cited in

(37)

• A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\)
• Takeuti's well-ordering proof: finitistically fine?
• Partition properties for simply definable colourings
• Inner-model reflection principles
• The \(\ast\)-variation of the Banach-Mazur game and forcing axioms
• Some consequences from proper forcing axiom together with large continuum and the negation of Martin's axiom
• Forcing with sequences of models of two types
• The full basis theorem does not imply analytic wellordering
• Definable MAD families and forcing axioms
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• BPFA and inner models
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• 2011 North American Annual Meeting of the Association for Symbolic Logic, University of California at Berkeley, Berkeley, CA, USA, March 24--27, 2011
• BPFA and projective well-orderings of the reals
• MRP, tree properties and square principles
• Proper Forcing, Cardinal Arithmetic, and Uncountable Linear Orders
• Forcing axioms and the continuum hypothesis
• The proper and semi-proper forcing axioms for forcing notions that preserve ℵ₂ or ℵ₃
• A combinatorial forcing for coding the universe by a real when there are no sharps
• The bounded proper forcing axiom
• scientific article; zbMATH DE number 1450237 (Why is no real title available?)
• Downward transference of mice and universality of local core models
• NS SATURATED AND -DEFINABLE
• Incompatible bounded category forcing axioms
• Subcomplete forcing principles and definable well-orders
• A \(\Sigma_4^1\) wellorder of the reals with \(\mathrm{NS}_{\omega_1}\) saturated
• Prevalence of generic Laver diamond
• What makes the continuum ℵ₂
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• Projective well-orderings and bounded forcing axioms
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• 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
• On the consistency strength of the proper forcing axiom
• Forcing axioms and the uniformization-property
• Forcing axioms and the definability of the nonstationary ideal on the first uncountable
• No cardinal correct inner model elementarily embeds into the universe
• Guessing and non-guessing of canonical functions

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)