Iterated Cohen extensions and Souslin's problem

DOI10.2307/1970860zbMath0244.02023OpenAlexW3151639028WikidataQ55893961 ScholiaQ55893961MaRDI QIDQ2554696

Publication date: 1971

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1970860

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50)

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

C.c.c. forcing without combinatorics ⋮ A Normal First Countable ccc Nonseparable Space ⋮ An Axiom for Nonseparable Borel Theory ⋮ Indescribable cardinals and elementary embeddings ⋮ Boolean valued Lie algebras ⋮ Quasi-minimal abelian groups ⋮ Strong measure zero sets without Cohen reals ⋮ On subclasses of weak Asplund spaces ⋮ Some Undecidability Results Concerning Radon Measures ⋮ On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers ⋮ The relative strengths of fragments of Martin's axiom ⋮ Interview With a Set Theorist ⋮ Norming infinitesimals of large fields ⋮ What makes the continuum ℵ₂ ⋮ Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms ⋮ Some Properties of Measure and Category ⋮ Negating the Galvin property ⋮ The special Aronszajn tree property ⋮ Souslin’s hypothesis and convergence in category ⋮ Independence results concerning the number of nowhere dense sets necessary to cover the real line ⋮ SET MAPPING REFLECTION ⋮ Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics ⋮ One hundred and two problems in mathematical logic ⋮ A Forcing Axiom Deciding the Generalized Souslin Hypothesis ⋮ The higher Cichoń diagram ⋮ Convergence and submeasures in Boolean algebras ⋮ Preserving preservation ⋮ Almost Souslin Kurepa trees ⋮ sets of reals ⋮ WEAK DIAMOND AND OPEN COLORINGS ⋮ When the maximum ring of quotients of $C(X)$ is uniformly complete ⋮ A Sacks real out of nowhere ⋮ A transfer principle in harmonic analysis ⋮ European meeting of the Association for Symbolic Logic, Mons, Belgium, 1978 ⋮ Algebraic characterizations of measure algebras ⋮ Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski ⋮ Chains and antichains in ⋮ Random Reals and Souslin Trees ⋮ Saturated ideals ⋮ Products of Baire Spaces ⋮ Unnamed Item ⋮ On the structure of the boolean-valued universe ⋮ Некоторые замечания о нестандартных методах анализа. I ⋮ Теорема Гордона: истоки и смысл ⋮ Independence results ⋮ Generalized Iteration of Forcing ⋮ A measurable cardinal with a nonwellfounded ultrapower ⋮ ON RESURRECTION AXIOMS ⋮ Reflecting stationary sets ⋮ A characterization of the existence of a Souslin line ⋮ Unnamed Item ⋮ The model of set theory generated by countably many generic reals ⋮ Sigma-Prikry forcing I: The Axioms ⋮ Boolean Valued Analysis: Background and Results ⋮ The Baire category theorem and cardinals of countable cofinality ⋮ The κ-closed unbounded filter and supercpmpact cardinals ⋮ Consistency Results Concerning Supercompactness ⋮ Homological Algebra and Set Theory ⋮ Forcing consequences of $PFA$ together with the continuum large ⋮ Measurability and degrees of strong compactness ⋮ Some applications of a generalized Martin's axiom ⋮ Sweet \& sour and other flavours of ccc forcing notions ⋮ Fragments of Martin's axiom and $\Delta_ 3^ 1$ sets of reals ⋮ The countable sup property for lattices of continuous functions ⋮ Can a small forcing create Kurepa trees ⋮ Rigid ideals ⋮ Boolean-valued analysis of order-bounded operators ⋮ Iterated forcing and normal ideals on $\omega _ 1$ ⋮ Projective forcing ⋮ Forcing axioms and the continuum hypothesis ⋮ Higher Souslin trees and the GCH, revisited ⋮ Distributive proper forcing axiom and cardinal invariants ⋮ A microscopic approach to Souslin-tree construction. II ⋮ A microscopic approach to Souslin-tree constructions. I. ⋮ Random trees under CH ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Baumgartner's isomorphism problem for $\aleph _2$-dense suborders of $\mathbb {R}$ ⋮ Some infinitely generated non-projective modules over path algebras and their extensions under Martin's axiom ⋮ Saturated Ideals in Boolean Extensions ⋮ Specker spaces and their absolutes. I ⋮ Continuous images of linearly ordered continua and compacta ⋮ A forcing axiom for a non-special Aronszajn tree ⋮ Exponents of some N-compact spaces ⋮ A generalization of Martin's axiom ⋮ Set theory and the analyst ⋮ General topology (set-theoretic trend) ⋮ $\alpha$-Specker spaces ⋮ Boolean-valued universe as an algebraic system. II: Intensional hierarchies ⋮ Martin's axiom implies the existence of certain slender groups ⋮ Martin's axiom does not imply that every two $chi_ 1-$dense sets of reals are isomorphic ⋮ On the least strongly compact cardinal ⋮ A consistent very small Boolean algebra with countable automorphism group ⋮ Some consequences of MA + non wKH ⋮ SH plus CH does not imply stationary antichains. ⋮ Free limits of forcing and more on Aronszajn trees ⋮ Iterated forcing and changing cofinalities ⋮ Definable forcing axiom: An alternative to Martin's axiom ⋮ ON FOREMAN’S MAXIMALITY PRINCIPLE ⋮ Martin's axiom and pathological points in $\beta$ X$\backslash X$ ⋮ Free sets for nowhere-dense set mappings

This page was built for publication: Iterated Cohen extensions and Souslin's problem