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

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, $C^\ast$ -, $C$- and $P$-embedded subsets in products and the undecidability of a certain property on $\mathbb{N}^{\omega_1} $, $\mathbf{L}(\mathbb{R})$ with determinacy satisfies the Suslin hypothesis, Unbounded Monotone Subgroups of the Baer–Specker Group, P-ideal dichotomy and a strong form of the Suslin Hypothesis, Uncountable almost irredundant sets in nonseparable C*-algebras, Homogeneity for Open Partitions of Pairs of Reals, A minicourse on topological games, Some results on embeddings of algebras, after de Bruijn and McKenzie, $\omega_1$ and $-\omega_1$ may be the only minimal uncountable linear orders, On the strength of the Sikorski extension theorem for Boolean algebras, Malykhin's problem, A saturation property of ideals and weakly compact cardinals, Arbitrary torsion classes of abelian groups^*, Cardinal representatives, A weak Asplund space whose dual is not in Stegall’s class, On cardinal collapsing with reals, Random gaps, Club isomorphisms on higher Aronszajn trees, On the consistency of Borel's conjecture, Singular cohomology in $L$, Martin's maximum$^{++}$ implies Woodin's axiom $(*)$, Boolean-valued set theory and forcing, Boolean-valued universe as an algebraic system. I: Basic principles, Whitehead groups may be not free, even assuming CH. I, On constructing indecomposable groups in L, Embedding theorems for graphs establishing negative partition relations, The consistency with CH of some consequences of Martin's axiom plus $2^{\aleph_0}>\aleph_1$, A weak generalization of MA to higher cardinals, Completion regular measures on product spaces, Cohen and Set Theory, Morasses and finite support iterations, Uncountable powers of R can be almost Lindelöf, Forcing the mapping reflection principle by finite approximations, Iteration of Souslin forcing, projective measurability and the Borel conjecture, Specializing Aronszajn trees with strong axiom A and Halving, Iterations of Boolean algebras with measure, A metasemantic challenge for mathematical determinacy, Boolean powers of abelian groups, Surrealist landscape with figures (a survey of recent results in set theory), Ultrafilters with small generating sets, Classifying almost-disjoint families with applications to $\beta N-N$, Directed graphs over topological spaces: some set theoretical aspects, Forcings constructed along morasses, Injective hulls of chains, Mathematical quantum theory. I: Random ultrafilters as hidden variables, Forcing with stable posets, Filters and large cardinals, Topos theory and Souslin's hypothesis, Martinaxiom und die Beschreibung gewisser Homomorphismen in der Theorie der $\aleph_1$-freien Abelschen Gruppen, On a Boolean power of a torsion free Abelian group, Weak Distributivity, A Problem of Von Neumann and the Mystery of Measurability, Some results on consecutive large cardinals, Constructions of many complicated uncountable structures and Boolean algebras, Order-continuous functionals in Boolean-valued models of set theory, Topological spaces whose properties are undefined in ZFC, Banach-Kantorovich spaces, Regularity properties of definable sets of reals, On the consistency of some partition theorems for continuous colorings, and the structure of $\aleph _ 1$-dense real order types, The non-existence of a utility function and the structure of non-representable preference relations, Reflecting Lindelöfness, 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