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

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

Related Items (only showing first 100 items - show all)

Compactness versus hugeness at successor cardinals ⋮ Combinatorial properties of the ideal ℬ₂ ⋮ Extender-based Radin forcing ⋮ Unnamed Item ⋮ Logical dreams ⋮ Rigidity conjectures for continuous quotients ⋮ Potent Axioms ⋮ Proper products ⋮ ABSTRACT ω-LIMIT SETS ⋮ S-spaces and large continuum ⋮ Unnamed Item ⋮ A simple $P_{\aleph_1}$-point and a simple $P_{\aleph_2}$-point ⋮ Laver forcing and converging sequences ⋮ Interview With a Set Theorist ⋮ What makes the continuum ℵ₂ ⋮ New combinatorial principle on singular cardinals and normal ideals ⋮ Non-absoluteness of Hjorth’s cardinal characterization ⋮ Exactly two and exactly three near-coherence classes ⋮ Sigma-Prikry forcing. III: Down to $\aleph_{\omega}$ ⋮ On the commutant of $B(H)$ in its ultrapower ⋮ Homeomorphisms of Čech–Stone remainders: the zero-dimensional case ⋮ Less saturated ideals ⋮ Set Theory Generated by Abelian Group Theory ⋮ Possible PCF algebras ⋮ Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics ⋮ Combinatorial aspects of F$_\sigma $ filters with an application to $\mathcal N$-sets ⋮ A coanalytic Menger group that is not $\sigma$-compact ⋮ Keeping additivity of the null ideal small ⋮ Collapsing successors of singulars ⋮ Forcing axioms and coronas of C∗-algebras ⋮ Almost Souslin Kurepa trees ⋮ Distinguishing types of gaps in (ω)/fin ⋮ Nonregular ideals ⋮ A new Löwenheim-Skolem theorem ⋮ Completely Additive Liftings ⋮ Automorphisms of corona algebras, and group cohomology ⋮ The autohomeomorphism group of the Cech-Stone compactification of the integers ⋮ Pseudo-Prikry sequences ⋮ Mutually stationary sequences of sets and the non-saturation of the non-stationary ideal on $P_x(\lambda)$ ⋮ Cardinal preserving ideals ⋮ Categoricity of an abstract elementary class in two successive cardinals ⋮ $\mathrm{ZF}+\mathrm{DC}+\mathrm{AX}_4$ ⋮ Partial order embeddings with convex range ⋮ Gross spaces ⋮ The last forcing standing with diamonds ⋮ Luzin gaps ⋮ Generalized Iteration of Forcing ⋮ Pseudocompactness and Ultrafilters ⋮ Hereditarily normal manifolds of dimension greater than one may all be metrizable ⋮ Adding a lot of Cohen reals by adding a few. I ⋮ P-hierarchy on βω ⋮ Unnamed Item ⋮ Forcing consequences of $PFA$ together with the continuum large ⋮ Dualization of the van Douwen diagram ⋮ Proper Forcing and Remarkable Cardinals ⋮ Homogeneous Boolean algebras may have non-simple automorphism groups ⋮ Precipitousness in forcing extensions ⋮ On the number of non-isomorphic subgraphs ⋮ Mutual stationarity and singular Jonsson cardinals ⋮ Remarks in abstract model theory ⋮ 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 ⋮ 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 ⋮ Strongly almost disjoint functions ⋮ Embeddings of Cohen algebras ⋮ On reconstructing separable reduced p-groups with a given socle ⋮ Can a small forcing create Kurepa trees ⋮ 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 ⋮ Almost maximal spaces ⋮ Consistency results on infinite graphs ⋮ On the structure of $Ext_ p(G,{\mathbb{Z}})$ ⋮ Some Calkin algebras have outer automorphisms ⋮ Non-trivial automorphisms of ${\mathcal {P}}({\mathbb {N}})/[{\mathbb {N}}^{<\aleph _0}$ from variants of small dominating number] ⋮ Ideal QN-spaces ⋮ Selective separability of Pixley-Roy hyperspaces ⋮ Weak $P$-points in coronas of $G$-spaces ⋮ Strong Chang's conjecture and the tree property at $\omega_{2}$ ⋮ Thin ultrafilters ⋮ Chang's conjecture for $\aleph_\omega$ ⋮ Sets of filter convergence of sequences of continuous functions ⋮ Forbidden rectangles in compacta ⋮ 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 ⋮ All automorphisms of the Calkin algebra are inner ⋮ Free limits of forcing and more on Aronszajn trees ⋮ Iterated forcing and changing cofinalities ⋮ Strong-Q-sequences and small $\mathfrak d$ ⋮ Minimal collapsing extensions of models of ZFC ⋮ Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable

This page was built for publication: Proper forcing