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

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, Unnamed Item, Distinguishing types of gaps in (ω)/fin, A new Löwenheim-Skolem theorem, Gross spaces, Extender-based Radin forcing, Logical dreams, Potent Axioms, Possible PCF algebras, Cardinal preserving ideals, Combinatorial properties of the ideal ℬ₂, Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics, P-hierarchy on βω, Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on $P_x(\lambda)$, Categoricity of an abstract elementary class in two successive cardinals, Generalized Iteration of Forcing, 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, The strength of the failure of the singular cardinal hypothesis, Prikry on extenders, revisited, More on the revised GCH and the black box, Levy and set theory, On extremally disconnected topological groups, Nonreflecting stationary sets in $\mathcal P_{\kappa}\lambda$, Ramsey ultrafilters and the reaping number - Con(${\mathfrak r}<{\mathfrak u}$), Products of regular cardinals and cardinal invariants of products of Boolean algebras, The Calkin algebra has outer automorphisms, 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, Weakly Compact Cardinals and Nonspecial Aronszajn Trees, The Generalized Borel Conjecture and Strongly Proper Orders, PFA Implies all Automorphisms are Trivial, On the Generic Existence of Special Ultrafilters, On a Conjecture of Tarski on Products of Cardinals, Set Theory and C*-Algebras, Countable tightness and proper forcing, Saturation of the Closed Unbounded Filter on the Set of Regular Cardinals, Infinite products of finite simple groups, Left Separated Spaces With Point-Countable Bases, Unnamed Item, Splitting Strongly Almost Disjoint Families, The Structure of Groups Which are Almost the Direct Sum of Countable Abelian Groups, On Strongly Summable Ultrafilters and Union Ultrafilters, Embedding Graphs into Colored Graphs, Cosmicity of Cometrizable Spaces, A Separable Space with no Remote Points, 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, Compact spaces and the pseudoradial property. II, When countably paracompact, locally compact, screenable spaces are paracompact, 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, Shelah's pcf theory and its applications, The Borel conjecture, More game-theoretic properties of Boolean algebras, Lifting problem of the measure algebra, Classification theory for non-elementary classes. I: The number of uncountable models of $\psi \in L_{\omega _ 1,\omega}$, On the ${\mathbb{I}}$-condition, Almost maximal spaces, Chang's conjecture for $\aleph_\omega$, The theorems of Beth and Craig in abstract model theory. III: $\Delta$- logics and infinitary logics, Notes on monadic logic. Part B: Complexity of linear orders in ZFC, Minimal collapsing extensions of models of ZFC, Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable, Dynamical equivalences on $G^*$, Topologies on groups determined by discrete subsets, Shelah's work on non-semi-proper iterations. I, Sheva-sheva-sheva: large creatures, Aronszajn trees on $\aleph_2$ and $\aleph_3$., The nonstationary ideal on $\aleph _ 2$, A dual form of Ramsey's theorem, Isomorphism types of Aronszajn trees, More on the weak diamond, Homogeneous Boolean algebras may have non-simple automorphism groups, Precipitousness in forcing extensions, Remarks in abstract model theory, Extending ideals, Uncountable groups have many nonconjugate subgroups, S-forcing. IIa: Adding diamonds and more applications: Coding sets, Arhangel'skii's problem and ${\mathcal L}[Q_ 1^{<\omega},Q^ 1_ 2$. (With an appendix by John P. Burgess)], There may be simple $P_{\aleph _ 1}$- and $P_{\aleph _ 2}$-points and the Rudin-Keisler ordering may be downward directed, Admissibility spectra through $\omega _ 1$, Totally Crawley groups, On reconstructing separable reduced p-groups with a given socle, More on powers of singular cardinals, PFA and $\omega$ $*_ 1$, Selctive ultrafilters and homogeneity, Successors of singulars, cofinalities of reduced products of cardinals and productivity of chain conditions, Combinatorial problems on trees: partitions, $\Delta$-systems and large free subtrees, Iterated forcing and normal ideals on $\omega _ 1$, Perfect pre-images of $\omega _ 1$ and the PFA, Consistency results on infinite graphs, On the structure of $Ext_ p(G,{\mathbb{Z}})$, Free limits of forcing and more on Aronszajn trees, Iterated forcing and changing cofinalities, 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, Forcings with ideals and simple forcing notions, A consistent counterexample in the theory of collectionwise Hausdorff spaces, 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, The ${\mathcal L}^{<\omega}$-theory of the class of Archimedian real closed fields, 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