Publication:4375363
From MaRDI portal
zbMath0889.03041MaRDI QIDQ4375363
Publication date: 4 February 1998
forcing; iterated forcing; Aronszajn tree; countable chain condition; proper forcing; semi-proper forcing; oracle chain condition; Whitehead problem; Souslin hypothesis; changing cofinalities; improper forcing
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E35: Consistency and independence results
03E45: Inner models, including constructibility, ordinal definability, and core models
03E50: Continuum hypothesis and Martin's axiom
03E05: Other combinatorial set theory
Related Items
After all, there are some inequalities which are provable in ZFC, The bounded proper forcing axiom, Complete Quotient Boolean Algebras, CON(\(\mathfrak u>\mathfrak i\)), \(\clubsuit\) does not imply the existence of a Suslin tree, CH with no Ostaszewski spaces, Similar but not the same: various versions of ♣ do not coincide