The bounded proper forcing axiom and well orderings of the reals
From MaRDI portal
Publication:867372
DOI10.4310/MRL.2006.V13.N3.A5zbMath1113.03039WikidataQ113999074 ScholiaQ113999074MaRDI QIDQ867372
Andrés Eduardo Caicedo, Boban Velickovic
Publication date: 15 February 2007
Published in: Mathematical Research Letters (Search for Journal in Brave)
Inner models, including constructibility, ordinal definability, and core models (03E45) Logic with extra quantifiers and operators (03C80) Other combinatorial set theory (03E05) Other set-theoretic hypotheses and axioms (03E65) Other aspects of forcing and Boolean-valued models (03E40) Other notions of set-theoretic definability (03E47)
Related Items (22)
2011 North American Annual Meeting of the Association for Symbolic Logic ⋮ Forcing axioms and the continuum hypothesis ⋮ The \(\ast\)-variation of the Banach-Mazur game and forcing axioms ⋮ Definable MAD families and forcing axioms ⋮ Guessing and non-guessing of canonical functions ⋮ Incompatible bounded category forcing axioms ⋮ Partition properties for simply definable colourings ⋮ Inner-model reflection principles ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ What makes the continuum ℵ₂ ⋮ Subcomplete forcing principles and definable 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 ⋮ Σ1(κ)-DEFINABLE SUBSETS OF H(κ+) ⋮ On the consistency strength of the proper forcing axiom ⋮ Forcing with sequences of models of two types ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms ⋮ A WELLORDER OF THE REALS WITH SATURATED ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ BPFA and projective well-orderings of the reals ⋮ MRP, tree properties and square principles ⋮ NS SATURATED AND -DEFINABLE ⋮ Prevalence of Generic Laver Diamond
This page was built for publication: The bounded proper forcing axiom and well orderings of the reals
