Appendix to Volume 5
Ordinal and cardinal arithmetic; trees; cofinalities; Δ-systems and free sets; partition calculus; transversals.
Reduced products of partially ordered sets; cofinalities of reduced products; covSh(α,β,γ,δ); Q(α,γ).
Forcing notions; forcing languages; the forcing relation; the forcing theorem; Boolean truth values; names for functions; regular open algebras; discriminating names; L0 and names for real numbers; forcing with Boolean algebras; ordinals and cardinals; iterated forcing; Martin's axiom; countably closed forcings.
Cardinal functions; compactness; Vietoris topologies; category and the Baire property; normal and paracompact spaces.
GCH, V=L, 0# and Jensen's Covering Lemma, square principles, Chang's transfer principle, Todorcevic's p-ideal dichotomy, the filter dichotomy.
ro-PDF (results-only version).
Return to contents page.