Multiple Forcing
From MaRDI portal
Publication:5903226
DOI10.1017/CBO9780511721168zbMath0601.03019MaRDI QIDQ5903226
Publication date: 1986
countable support iterationiterated forcingproper forcingindependence proofsconsistency proofproduct forcing
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35)
Related Items (47)
Convexity numbers of closed sets in ℝⁿ ⋮ Combinatorial properties of classical forcing notions ⋮ The Generalized Borel Conjecture and Strongly Proper Orders ⋮ Quantum mechanics, formalization and the cosmological constant problem ⋮ A model for spacetime. II: The emergence of higher dimensions and field theory/strings dualities ⋮ No interesting sequential groups ⋮ Full reflection at a measurable cardinal ⋮ More on the cut and choose game ⋮ Applications of cohomology to set theory. II: Todorčević trees ⋮ Partial orderings with the weak Freese-Nation property ⋮ Generic constructions of small sets of reals ⋮ Forcing a set model of Z3 + Harrington's Principle ⋮ Local Ramsey theory: an abstract approach ⋮ Analytically heavy spaces: analytic Cantor and analytic Baire theorems ⋮ Forcing with copies of the Rado and Henson graphs ⋮ Results on the generic Kurepa hypothesis ⋮ Factoring Solovay-random extensions, with application to the reduction property ⋮ Hierarchies of forcing axioms I ⋮ The definable tree property for successors of cardinals ⋮ Distinguishing types of gaps in (ω)/fin ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Perfect sets of random reals ⋮ Infinite products of finite simple groups ⋮ Quotients of Boolean algebras and regular subalgebras ⋮ Symmetric submodels of a Cohen generic extension ⋮ Removing Laver functions from supercompactness arguments ⋮ Copies of the random graph ⋮ Weak covering properties and infinite games ⋮ A General Setting for the Pointwise Investigation of Determinacy ⋮ On the elimination of Malitz quantifiers over Archimedian real closed fields ⋮ A standard model of Peano arithmetic with no conservative elementary extension ⋮ On the Gitik-Shelah theorem ⋮ On Kuratowski partitions in the Marczewski and Laver structures and Ellentuck topology ⋮ On the duality between Boolean-valued analysis and reduction theory under the assumption of separability ⋮ Iterated forcing in quadratic form theory ⋮ Unbounded families and the cofinality of the infinite symmetric group ⋮ A solution to the L space problem ⋮ Strongly Baire trees and a cofinal branch principle ⋮ Forcing and normality ⋮ Convex decompositions in the plane and continuous pair colorings of the irrationals ⋮ Optimal indirect estimation for linear inverse problems with discretely sampled functional data ⋮ Some set-theoretical aspects of differentiation theory ⋮ Stationary cardinals ⋮ Large ideals on small cardinals ⋮ An application of Shoenfield's absoluteness theorem to the theory of uniform distribution ⋮ The pointwise view of determinacy: arboreal forcings, measurability, and weak measurability ⋮ Ultrafilters on 𝜔-their ideals and their cardinal characteristics
This page was built for publication: Multiple Forcing
