scientific article

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Martin's axiom iterated forcing introduction generic extension relative consistency reverse Easton forcing tree theory axiom A-forcing generalization of Martin's axiom iterated Mathias forcing

Mathematics Subject Classification ID

Descriptive set theory (03E15) 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 (89)

Some applications of a generalized Martin's axiom ⋮ Dominating projective sets in the Baire space ⋮ The Ideal Determined by the Unsymmetric Game ⋮ The cofinality of the saturated uncountable random graph ⋮ Extending ideals ⋮ Semimorasses and nonreflection at singular cardinals ⋮ The Generalized Borel Conjecture and Strongly Proper Orders ⋮ Combinatorial principles in the core model for one Woodin cardinal ⋮ Cardinal invariants above the continuum ⋮ Applications of iterated perfect set forcing ⋮ MITCHELL-INSPIRED FORCING, WITH SMALL WORKING PARTS AND COLLECTIONS OF MODELS OF UNIFORM SIZE AS SIDE CONDITIONS, AND GAP-ONE SIMPLIFIED MORASSES ⋮ Initial segments of the degrees of constructibility ⋮ Lifting elementary embeddings $j : V_{\lambda } \rightarrow V_{\lambda }$ ⋮ Proper products ⋮ Partition numbers ⋮ The tree property ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Ideal topologies in higher descriptive set theory ⋮ Cardinal characteristics, projective wellorders and large continuum ⋮ Club stationary reflection and the special Aronszajn tree property ⋮ Continuous images of closed sets in generalized Baire spaces ⋮ INDESTRUCTIBILITY OF THE TREE PROPERTY ⋮ SPECIALISING TREES WITH SMALL APPROXIMATIONS I ⋮ TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS ⋮ Absoluteness via resurrection ⋮ The tree property and the continuum function below ⋮ THE ONTO MAPPING OF SIERPINSKI AND NONMEAGER SETS ⋮ Rado’s Conjecture and its Baire version ⋮ Uncountable structures are not classifiable up to bi-embeddability ⋮ The special Aronszajn tree property ⋮ SH plus CH does not imply stationary antichains. ⋮ The embedding structure for linearly ordered topological spaces ⋮ A note on canonical functions ⋮ Iterated forcing and changing cofinalities ⋮ Martin’s Axiom does not imply perfectly normal non-archimedean spaces are metrizable ⋮ Stationary and closed rainbow subsets ⋮ Changing the heights of automorphism towers ⋮ On the strong equality between supercompactness and strong compactness ⋮ Large Cardinals and Strong Model Theoretic Transfer Properties ⋮ A general Mitchell style iteration ⋮ Large cardinals and definable well-orders, without the GCH ⋮ Local saturation of the non-stationary ideal over $\mathcal P_{\kappa}\lambda$ ⋮ On a hypothesis for ${\aleph}_{0}$-bounded groups ⋮ THE EIGHTFOLD WAY ⋮ The Hurewicz dichotomy for generalized Baire spaces ⋮ Continuous projections onto ideal convergent sequences ⋮ Characterizing large cardinals in terms of layered posets ⋮ Distinguishing types of gaps in (ω)/fin ⋮ A Sacks amoeba preserving distributivity of $\mathcal {P}(\omega )/\mathrm {fin}$ ⋮ A Model in Which GCH Holds at Successors but Fails at Limits ⋮ Rothberger's property in all finite powers ⋮ Suslin's hypothesis does not imply stationary antichains ⋮ Malykhin's problem ⋮ A forcing notion related to Hindman's theorem ⋮ Complete Quotient Boolean Algebras ⋮ Weakly Ramsey sets in Banach spaces ⋮ Saturation of the weakly compact ideal ⋮ A dual open coloring axiom ⋮ Determinacy and weakly Ramsey sets in Banach spaces ⋮ Adding clubs with square ⋮ Generic Embeddings and the Failure of Box ⋮ Easton's theorem for the tree property below $\aleph_\omega$ ⋮ Dense non-reflection for stationary collections of countable sets ⋮ On the Gitik-Shelah theorem ⋮ On Kuratowski partitions in the Marczewski and Laver structures and Ellentuck topology ⋮ Laver and set theory ⋮ Regularity properties on the generalized reals ⋮ The tree property at the $\aleph_{2 n}$'s and the failure of SCH at $\aleph_\omega$ ⋮ Iterated forcing in quadratic form theory ⋮ Some applications of mixed support iterations ⋮ Towers in $[\omega^{\omega}$ and $^{\omega}\omega$] ⋮ The Borel conjecture ⋮ Gross spaces ⋮ Large cardinals and gap-1 morasses ⋮ More game-theoretic properties of Boolean algebras ⋮ The automorphism tower problem. II ⋮ Generalized Iteration of Forcing ⋮ Closed maximality principles and generalized Baire spaces ⋮ Specializing trees and answer to a question of Williams ⋮ Forcing and normality ⋮ Simultaneously vanishing higher derived limits ⋮ Aronszajn trees on $\aleph_2$ and $\aleph_3$. ⋮ A dual form of Ramsey's theorem ⋮ Indexed squares ⋮ Convex decompositions in the plane and continuous pair colorings of the irrationals ⋮ Ultrafilters on 𝜔-their ideals and their cardinal characteristics ⋮ Forcing minimal extensions of Boolean algebras ⋮ Notes on singular cardinal combinatorics ⋮ FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES

This page was built for publication: