scientific article
From MaRDI portal
Publication:3037421
zbMath0524.03041MaRDI QIDQ3037421
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proper forcing axiomsupercompact cardinalproper forcingrelative consistencyWhitehead problemcountable support iterationstree theorygeneralization of Martin's axiomiterations of posets
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Continuum hypothesis and Martin's axiom (03E50) Other aspects of forcing and Boolean-valued models (03E40)
Related Items (15)
Precipitousness in forcing extensions ⋮ Totally Crawley groups ⋮ Perfect pre-images of \(\omega _ 1\) and the PFA ⋮ Random trees under CH ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Forcing with a coherent Souslin tree and locally countable subspaces of countably tight compact spaces ⋮ Set theory and the analyst ⋮ What makes the continuum ℵ₂ ⋮ On the consistency strength of the proper forcing axiom ⋮ Forcing axioms and stationary sets ⋮ Laver and set theory ⋮ The Structure of Groups Which are Almost the Direct Sum of Countable Abelian Groups ⋮ The \({\mathcal L}^{<\omega}\)-theory of the class of Archimedian real closed fields ⋮ Generalized Iteration of Forcing ⋮ The wholeness axiom and Laver sequences
This page was built for publication:
