Proper forcing

Publication date: 1982

Published in: Lecture Notes in Mathematics (Search for Journal in Brave)

Martin's axiom; iterated forcing; Aronszajn tree; diamond; countable chain condition; proper forcing; Whitehead problem; changing cofinalities; generic extensions of models of Set Theory; inner model with suitable large cardinals; oracle-chain condition

Mathematics Subject Classification ID

03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations

03E35: Consistency and independence results

03E50: Continuum hypothesis and Martin's axiom

Related Items

Categoricity of an abstract elementary class in two successive cardinals, On a class of m.a.d. families, Combinatorics on ideals and axiom A, Less saturated ideals, Set Theory Generated by Abelian Group Theory, Combinatorial aspects of F$_\sigma $ filters with an application to $\mathcal N$-sets, Keeping additivity of the null ideal small, Collapsing successors of singulars, Topological Applications of Generic Huge Embeddings, Completely Additive Liftings, When Does Almost Free Imply Free? (For Groups, Transversals, etc.), The autohomeomorphism group of the Cech-Stone compactification of the integers, Luzin gaps, Dualization of the van Douwen diagram, Proper Forcing and Remarkable Cardinals, Unnamed Item, Distinguishing types of gaps in (ω)/fin, A new Löwenheim-Skolem theorem, Gross spaces, Extender-based Radin forcing, Logical dreams, Possible PCF algebras, Cardinal preserving ideals, Combinatorial properties of the ideal ℬ₂, Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on $P_x(\lambda)$, Compact spaces and the pseudoradial property. II, Suslin's hypothesis does not imply stationary antichains, Maximal chains in $^ \omega \omega$ and ultrapowers of the integers, Simplified RCS iterations, Two cardinal versions of diamond, Martin's axiom and the transitivity of $P_{\mathfrak c}$-points, On Whitehead modules, On the size of closed unbounded sets, Strong negative partition relations below the continuum, Topological invariants in the Cohen model, On the cardinality of certain Hausdorff spaces, Forcing axioms and stationary sets, On the consistency of the Moore-Mrówka solution, Hereditary normality versus countable tightness in countably compact spaces, On the simplicity of the automorphism group of $\mathcal P (\omega )$/fin, Cartesian products of Fréchet topological groups and function spaces, A ${\Delta{}}^ 2_ 2$ well-order of the reals and incompactness of $L(Q^{MM})$, More consistency results in partition calculus, The topological center of the semigroup of free ultrafilters, $\omega^*$ has (almost) no continuous images, Rigidity properties of Borel ideals on the integers, What is left of CH after you add Cohen reals?, Canonical models for $\aleph_1$-combinatorics, A model in which there are Jech-Kunen trees but there are no Kurepa trees, Countable Fréchet $\alpha_ 1$-spaces may be first countable, More on cardinal arithmetic, On the weak distributivity game, On the number of non-isomorphic subgraphs, How special are Cohen and random forcings, i. e. Boolean algebras of the family of subsets of reals moduli meagre or null, A model and its subset: The uncountable case, Strongly almost disjoint functions, Embeddings of Cohen algebras, Can a small forcing create Kurepa trees, Cofinalities of elementary substructures of structures on $\aleph_ \omega$, Semi-Cohen Boolean algebras, Extensions of functions in Mrówka-Isbell spaces, Possible values for $2^{\aleph_n}$ and $2^{\aleph_\omega}$, Partition numbers, $\Delta_ 1$-definability, The tree property, Alpha-theory: An elementary axiomatics for nonstandard analysis, Mad families, forcing and the Suslin hypothesis, Iteration of Souslin forcing, projective measurability and the Borel conjecture, Linear liftings for non-complete probability spaces, OCA and automorphisms of ${\mathfrak P}(\omega)/\text{fin}$, Unbounded families and the cofinality of the infinite symmetric group, The Čech-Stone compactification of a discrete groupoid, Further cardinal arithmetic, CH and first countable, countably compact spaces, Partition subalgebras for maximal almost disjoint families, Changing cofinalities and collapsing cardinals in models of set theory, Dimension phenomena associated with $\beta \mathbb N$-spaces, The combinatorics of splittability, Uniformization problems and the cofinality of the infinite symmetric group, Combinatorial principles in the core model for one Woodin cardinal, More set-theory for topologists, Large cardinals and definable counterexamples to the continuum hypothesis, Some results on the nonstationary ideal, No random reals in countable support iterations, More on the cut and choose game, Generic constructions of small sets of reals, Between P-points and nowhere dense ultrafilters, The extent of strength in the club filters, Martin’s Axiom does not imply perfectly normal non-archimedean spaces are metrizable, On the number of ${L}_{\infty \omega _1}$-equivalent non-isomorphic models, A note on extensions of asymptotic density, Proper forcing and remarkable cardinals II, Infinite products of finite simple groups, Unnamed Item, Cardinal arithmetic for skeptics, A Model in Which GCH Holds at Successors but Fails at Limits, Ultrafilters which extend measures, Decomposing Euclidean space with a small number of smooth sets, Ultrafilters on 𝜔-their ideals and their cardinal characteristics, CH with no Ostaszewski spaces, Preserving σ-ideals