Example image of eyePlorer eyePlorer map for 'Forcing (mathematics)': Consistency Independence (mathematical logic) Paul Cohen (mathematician) Set theory Axiom of choice Continuum hypothesis Zermelo–Fraenkel set theory Computability theory Mathematical logic Descriptive set theory Model theory Boolean-valued model Universe (mathematics) Ramified forcing Preorder Antisymmetric relation Partially ordered set Saharon Shelah Transfinite induction Borel set Lebesgue measure Mostowski collapse lemma Well-founded relation Löwenheim–Skolem theorem Russell's paradox Rasiowa–Sikorski lemma First-order logic If and only if First uncountable ordinal Antichain Countable chain condition Zorn's lemma Regular cardinal Robert M. Solovay Cantor's theorem König's theorem (set theory) Large cardinal property Dana Scott Dedekind cut Measurable function Boolean algebra (structure) Ultrafilter Sentence (mathematical logic) Compactness theorem Forcing (recursion theory) Generic filter List of forcing notions Nice name Complete Boolean algebra Easton's theorem