| http://www.w3.org/ns/prov#value | - The authors give short but rigorous introductions to set-theoretic concepts and techniques such as trees, partition calculus, cardinal invariants of the continuum, Martin's Axiom, closed unbounded and stationary sets, the Diamond Principle (\(\diamond\)), and the use of elementary submodels.
|
