Internal cohen extensions

DOI10.1016/0003-4843(70)90009-4zbMath0222.02075OpenAlexW1970364998WikidataQ56029366 ScholiaQ56029366MaRDI QIDQ5626662

Publication date: 1970

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(70)90009-4

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Other set-theoretic hypotheses and axioms (03E65) Other aspects of forcing and Boolean-valued models (03E40)

Related Items

An Axiom for Nonseparable Borel Theory ⋮ Partition Theorems and Ultrafilters ⋮ The Undecidability of a Fundamental Problem in Cluster Set Theory ⋮ Leavable Gambling Problems with Unbounded Utilities ⋮ Invariant Ideals and Borel Sets ⋮ Ladder gaps over stationary sets ⋮ COMBINATORICS OF ULTRAFILTERS ON COHEN AND RANDOM ALGEBRAS ⋮ On subclasses of weak Asplund spaces ⋮ Absolute points in $\beta N\setminus N$ ⋮ Cofinal Families of Compact Subsets of an Analytic Set ⋮ Martin's axiom and the continuum ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ Unnamed Item ⋮ Additive valuations of streams of payoffs that satisfy the time value of money principle: A characterization and robust optimization ⋮ The relative strengths of fragments of Martin's axiom ⋮ Distances to spaces of first resolvable class mappings ⋮ An undecidable extension of Morley's theorem on the number of countable models ⋮ On Universal Null Sets ⋮ Some compactifications of the integers ⋮ Some Properties of Measure and Category ⋮ EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE ⋮ Special sets of reals and weak forms of normality on Isbell--Mrówka spaces ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Products of Two Borel Measures ⋮ Unnamed Item ⋮ Martin's Axiom and some classical constructions ⋮ Theories without countable models ⋮ Partitions into thin sets and forgotten theorems of Kunugi and Luzin–Novikov ⋮ Some Consequences of Martin’s Axiom and the Negation of the Continuum Hypothesis ⋮ Independence results concerning the number of nowhere dense sets necessary to cover the real line ⋮ On the Ratio of two sets in real line ⋮ One hundred and two problems in mathematical logic ⋮ Differentiability versus continuity: Restriction and extension theorems and monstrous examples ⋮ Inner models from extended logics: Part 1 ⋮ On cardinal invariants for CCC 𝜎-ideals ⋮ sets of reals ⋮ On cardinal invariants for CCC 𝜎-ideals ⋮ Some points in βN ⋮ Universal sets for pointsets properly on the n^th level of the projective hierarchy ⋮ Spaces not distinguishing convergences of real-valued functions. ⋮ The intersection of a continuum of open dense sets ⋮ Borel sets and Ramsey's theorem ⋮ Almost disjoint sets and Martin's axiom ⋮ K‐analytic spaces with metrizable compacta ⋮ On set systems having paradoxical covering properties ⋮ Maximal chains in the Turing degrees ⋮ On the existence of an analytic set meeting each compact set in a Borel set ⋮ Martin's axiom in the model theory of L_A ⋮ On the Hanf number of Souslin logic ⋮ Skew Products of Ideals ⋮ MADNESS IN VECTOR SPACES ⋮ A note on weak-star and norm Borel sets in the dual of the space of continuous functions ⋮ Projective Measure Without Projective Baire ⋮ Modest theory of short chains. II ⋮ Selection Theorems and the Reduction Principle ⋮ On Borel semifilters ⋮ Generalized Iteration of Forcing ⋮ An absoluteness principle for Borel sets ⋮ The Number of Compact Subsets of a Topological Space ⋮ Measurable chromatic numbers ⋮ On coincidence of Pettis and McShane integrability ⋮ On a Ubiquitous Cardinal ⋮ The Baire category theorem and cardinals of countable cofinality ⋮ Countably Generated Families ⋮ The equivalence of a generalized Martin's axiom to a combinatorial principle ⋮ Some applications of a generalized Martin's axiom ⋮ Partition relations for partially ordered sets ⋮ Fragments of Martin's axiom and $\Delta_ 3^ 1$ sets of reals ⋮ Partitions and filters ⋮ The countable sup property for lattices of continuous functions ⋮ Distributive proper forcing axiom and a left-right dichotomy of Cichoń's diagram ⋮ Borel classification via quasi-metrics ⋮ New proofs of the consistency of the normal Moore space conjecture. I ⋮ WEAK DISTRIBUTIVITY IMPLYING DISTRIBUTIVITY ⋮ Borel functions and separability of metric spaces ⋮ A Characterization and Sum Decomposition for Operator Ideals ⋮ Projective forcing ⋮ On nonmeasurable unions ⋮ Uniformization principles ⋮ $\Delta^ 1_ 2$-sets of reals ⋮ Distributive proper forcing axiom and cardinal invariants ⋮ When does the Fell topology on a hyperspace of closed sets coincide with the meet of the upper Kuratowski and the lower Vietoris topologies? ⋮ Definable MAD families and forcing axioms ⋮ Some infinitely generated non-projective modules over path algebras and their extensions under Martin's axiom ⋮ Axioms of symmetry: Throwing darts at the real number line ⋮ On ideals of subsets of the plane and on Cohen reals ⋮ A consequence of the Martin axiom ⋮ Exponents of some N-compact spaces ⋮ Continuous images of closed sets in generalized Baire spaces ⋮ A generalization of Martin's axiom ⋮ Rings of real-valued continuous functions. II ⋮ Set theory and the analyst ⋮ General topology (set-theoretic trend) ⋮ Continuity of coordinate functionals of filter bases in Banach spaces ⋮ Measurable functions and almost continuous functions ⋮ A non-implication between fragments of Martin's axiom related to a property which comes from Aronszajn trees ⋮ Very strongly rigid Boolean algebras, continuum discrete set condition, countable antichain condition. I ⋮ Borel Functions of Bounded Class ⋮ The universal Glivenko-Cantelli property ⋮ Free limits of forcing and more on Aronszajn trees ⋮ Definable forcing axiom: An alternative to Martin's axiom ⋮ New perspectives in algebraic logic, from neat embeddings to Erdős graphs ⋮ Martin's axiom and pathological points in $\beta$ X$\backslash X$ ⋮ On the small diagonals ⋮ 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 ⋮ On definable subgroups of the fundamental group ⋮ Application of selection principles in the study of the properties of function spaces ⋮ Martin's axioms, measurability and equiconsistency results ⋮ Tukey classification of some ideals on $\omega$ and the lattices of weakly compact sets in Banach spaces ⋮ Forcing axioms and stationary sets ⋮ Exact equiconsistency results for $\Delta_ 3^ 1$-sets of reals ⋮ Compactness-like properties and nonnormality of the space of nonstationary ultrafilters ⋮ A generalization of functions of the first class ⋮ Martin's axiom and separated mad families ⋮ On some class of Borel measurable maps and absolute Borel topological spaces ⋮ Borel and projective sets from the point of view of compact sets ⋮ Size direction games over the real line. III ⋮ Completely separable families and Ramsey's theorem ⋮ Infinite Abelian groups, Whitehead problem and some constructions ⋮ Levy and set theory ⋮ Partition relations for uncountable ordinals ⋮ A weak Asplund space whose dual is not in Stegall’s class ⋮ Une méthode topologique pour l'étude de la propriété de Ramsey ⋮ Generic Vopěnka cardinals and models of ZF with few $\aleph _1$-Suslin sets ⋮ Relations between $\beta X\setminus X$ and a certain subspace of $\lambda X$ ⋮ MA($\sigma$-centered): Cohen reals, strong measure zero sets and strongly meager sets ⋮ On a question of H. Kraljević ⋮ On the consistency of Borel's conjecture ⋮ Monadic theory of order and topology, I ⋮ Martin's maximum$^{++}$ implies Woodin's axiom $(*)$ ⋮ Some results about neat reducts ⋮ Whitehead groups may be not free, even assuming CH. I ⋮ Hamel-isomorphic images of the unit ball ⋮ A weak generalization of MA to higher cardinals ⋮ Some effects of set-theoretical assumptions in measure theory ⋮ A decomposition theorem for additive set-functions with applications to Pettis integrals and ergodic means ⋮ Automorphisms of $\mathcal P(\lambda )/\mathcal I_\kappa $ ⋮ Uncountable powers of R can be almost Lindelöf ⋮ Hopfian Boolean Algebras of Power Less than or Equal to Continuum ⋮ Forcing the mapping reflection principle by finite approximations ⋮ On partitions of the real line ⋮ Some Remarks on Category in Topological Spaces ⋮ Mathias and set theory ⋮ Iterations of Boolean algebras with measure ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ Madness and weak forms of normality ⋮ Classifying almost-disjoint families with applications to $\beta N-N$ ⋮ Directed graphs over topological spaces: some set theoretical aspects ⋮ Separability properties of almost-disjoint families of sets ⋮ BPFA and projective well-orderings of the reals ⋮ Two theorems about projective sets ⋮ The topological Baumgartner-Hajnal theorem ⋮ On the number of complete Boolean algebras ⋮ Martin's conjecture and strong ergodicity ⋮ When is a Pixley-Roy hyperspace CCC? ⋮ Mathematical quantum theory. I: Random ultrafilters as hidden variables ⋮ Forcing with stable posets ⋮ Complexity of reals in inner models of set theory ⋮ Martinaxiom und die Beschreibung gewisser Homomorphismen in der Theorie der $\aleph_1$-freien Abelschen Gruppen ⋮ Unnamed Item ⋮ On the limit superior of analytic sets ⋮ Summable gaps ⋮ Regularity properties of definable sets of reals