scientific article; zbMATH DE number 1126835

MaRDI QIDQ4379928zbMATH OpenFDO

Authors Martin Goldstern

Publication date 1 October 1998

zbMATH Keywords

improper forcingproper forcing

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35)

Review text

We review basic definitions and theorems in Shelah's theory of proper forcing. I hope that these notes can: (a) serve as a ``springboard for diving into deeper literature (such as chapters III, X and XII of Shelah's books [Proper forcing (1982; Zbl 0495.03035); Proper and improper forcing (1998; Zbl 0889.03041)], (b) inspire others to continue to expand this ``secondary or ``talmudic literature on proper forcing, (c) popularize the (conscious) use of the ``alphabet convention. For the entire collection see [Zbl 0881.00034].

Recommendations

• Proper and improper forcing.
• Proper forcing
• Proper and improper forcing.
• Forcing idealized

Cited in

(9)

• More canonical forms and dense free subsets.
• On needed reals
• Measure, category and projective wellorders
• Borel conjecture, dual Borel conjecture, and other variants of the Borel conjecture
• Forcing the \(\Pi_3^1\)-reduction property and a failure of \(\Pi_3^1\)-uniformization
• Cardinal characteristics and projective wellorders
• Projective mad families
• Forcing axioms and the uniformization-property
• Tight cofinitary groups

This page was built for publication:

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