Forcing for mathematicians

DOI10.1142/8962MaRDI QIDQ5401337zbMATH OpenOpenAlexFDO

Authors Nik Weaver

Publication date 13 March 2014

Full work available at URL https://doi.org/10.1142/8962

zbMATH Keywords

applications of set theoryforcingindependence results

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Applications of set theory (03E75)

Recommendations

• Some applications of the method of forcing
• Fast Track to Forcing
• A beginner's guide to forcing
• Multiple Forcing
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS

Cited in

(36)

• The discovery of forcing.
• Fine structure and class forcing
• Uncountable equilateral sets in Banach spaces of the form C(K)
• In memoriam: James Earl Baumgartner (1943--2011)
• Fast Track to Forcing
• The C^*-algebra of compact perturbations of diagonal operators
• Set Theory and C*-Algebras
• A beginner's guide to forcing
• scientific article; zbMATH DE number 4023265 (Why is no real title available?)
• scientific article; zbMATH DE number 4096345 (Why is no real title available?)
• scientific article; zbMATH DE number 61904 (Why is no real title available?)
• Forcing in Proof Theory
• Deductive cardinality results and nuisance-like principles
• A non-diagonalizable pure state
• Forcing. An introduction to the mathematics of independence proofs
• Rasiowa-Sikorski sets and forcing
• Proper and improper forcing.
• Set-theoretic foundations
• A constructive exposition on simple forcings and countable forcings
• Some applications of the method of forcing
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• A reconstruction of Steel's multiverse project
• Multiple Forcing
• Paul Cohen and forcing in 1963
• The forcing method in set theory. An introduction via Boolean valued logic
• C^*-algebraic formulation of quantum mechanics
• The method of forcing
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• Defining long words succinctly in FO and MSO
• On the first-order parts of problems in the Weihrauch degrees
• Algorithmically random series
• Ideal presentations and numberings of some classes of effective quasi-Polish spaces
• Lower bounds on () and other properties of -register machines
• Reifying dynamical algebra: maximal ideals in countable rings, constructively

This page was built for publication: Forcing for mathematicians

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5401337)