The bounded proper forcing axiom and well orderings of the reals

DOI10.4310/MRL.2006.V13.N3.A5MaRDI QIDQ867372zbMATHWikidataFDO

Authors Andrés Eduardo Caicedo, Boban Velickovic

Publication date 15 February 2007

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

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)

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

(34)

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

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)