scientific article

zbMath0556.03040MaRDI QIDQ3220578

Publication date: 1984

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

trees Martin's axiom gaps diamond reflection principles stationary sets dense sets cardinal collapsing club sets continuum-hypothesis thining out principle

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Consistency and independence results in general topology (54A35)

Related Items (91)

Precipitousness in forcing extensions ⋮ Compactness versus hugeness at successor cardinals ⋮ Applications of cohomology to set theory. I: Hausdorff gaps ⋮ Measures and fibers ⋮ Distributive proper forcing axiom and a left-right dichotomy of Cichoń's diagram ⋮ Semimorasses and nonreflection at singular cardinals ⋮ Uniformization problems and the cofinality of the infinite symmetric group ⋮ Can a small forcing create Kurepa trees ⋮ Open problems on countable dense homogeneity ⋮ Forcing axioms and the Galvin number ⋮ Hereditary normality of $\gamma\mathbb{N}$-spaces ⋮ PFA and $\omega$ $*_ 1$ ⋮ Large cardinals and definable counterexamples to the continuum hypothesis ⋮ The complete tunnel axiom ⋮ Perfect pre-images of $\omega _ 1$ and the PFA ⋮ Forcing axioms and the complexity of non-stationary ideals ⋮ On a theorem of Grothendieck in $C_ p$-theory ⋮ Compact spaces of diversity two ⋮ Distributive proper forcing axiom and cardinal invariants ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ Applications of cohomology to set theory. II: Todorčević trees ⋮ Adding many Baumgartner clubs ⋮ Generic constructions of small sets of reals ⋮ Partition properties for simply definable colourings ⋮ On Compact Hausdorff Spaces of Countable Tightness ⋮ A forcing axiom for a non-special Aronszajn tree ⋮ Set theory and the analyst ⋮ What makes the continuum ℵ₂ ⋮ Inner models with large cardinal features usually obtained by forcing ⋮ Reflection principles, GCH and the uniformization properties ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Separating club-guessing principles in the presence of fat forcing axioms ⋮ On minimal non-$\sigma$-scattered linear orders ⋮ Local coherence. ⋮ A first countable compact space that is not an $N^*$ image ⋮ Forcing axioms via ground model interpretations ⋮ A universal continuum of weight $\aleph $ ⋮ On the consistency strength of the proper forcing axiom ⋮ Kunen and set theory ⋮ Unnamed Item ⋮ A fragment of Asperó–Mota’s finitely proper forcing axiom and entangled sets of reals ⋮ Countable tightness and proper forcing ⋮ More on sequential order of compact scattered spaces ⋮ Homogeneity for Open Partitions of Pairs of Reals ⋮ Bounding the consistency strength of a five element linear basis ⋮ Various smoothings of the long line and their tangent bundles ⋮ Countable dense homogeneity and the Baire property ⋮ Forcing axioms and coronas of C∗-algebras ⋮ Unconditionally $\tau $-closed and $\tau $-algebraic sets in groups ⋮ Asymmetric tie-points and almost clopen subsets of $\mathbb {N}^*$ ⋮ Aronszajn and Kurepa trees ⋮ On $\mathbb R$-embeddability of almost disjoint families and Akemann–Doner C$^*$-algebras ⋮ Suslin's hypothesis does not imply stationary antichains ⋮ Forcing axioms and stationary sets ⋮ Spaces with no uncountable submetrisable subsets ⋮ On the consistency of the Moore-Mrówka solution ⋮ Hereditary normality versus countable tightness in countably compact spaces ⋮ Complete normality and metrization theory of manifolds ⋮ Left Separated Spaces With Point-Countable Bases ⋮ Bounded forcing axioms and the continuum ⋮ Problems arising from Balogh's ``Locally nice spaces under Martin's axiom ⋮ On the Absolutes of Compact Spaces with a Minimally Acting Group ⋮ Unnamed Item ⋮ 𝐼[𝜔₂ can be the nonstationary ideal on 𝐶𝑜𝑓(𝜔₁)] ⋮ Dense non-reflection for stationary collections of countable sets ⋮ Bounded Martin's maximum with an asterisk ⋮ Game ideals ⋮ Thin-very tall compact scattered spaces which are hereditarily separable ⋮ $C^{*}$-algebras with and without $\ll$-increasing approximate units ⋮ The ${\mathcal L}^{<\omega}$-theory of the class of Archimedian real closed fields ⋮ Strongly Baire trees and a cofinal branch principle ⋮ Cozero-accessible points ⋮ The diagonal reflection principle ⋮ Subspaces of the Sorgenfrey line ⋮ NS SATURATED AND -DEFINABLE ⋮ Destructibility and axiomatizability of Kaufmann models ⋮ DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS ⋮ Partition subalgebras for maximal almost disjoint families ⋮ Properness under closed forcing ⋮ Cosmicity of Cometrizable Spaces ⋮ Strong Homology and the Proper Forcing Axiom ⋮ Many weak P-sets ⋮ Forcing consequences of $PFA$ together with the continuum large ⋮ A Ramsey-type topological theorem ⋮ Sacks forcing and the total failure of Martin's axiom ⋮ $\omega {}^*_ 2U(\omega_ 2)$ can be $C^*$-embedded in $\beta \omega_ 2$ ⋮ Set functors and filters ⋮ Some results on gaps ⋮ Forcing minimal extensions of Boolean algebras ⋮ Adding closed unbounded subsets of $\omega_2$ with finite forcing ⋮ FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES

This page was built for publication: