Lectures in Set Theory: With Particular Emphasis on the Method of Forcing |
Contents
Axioms of ZermeloFraenkel | 2 |
Constructible sets | 32 |
14 | 41 |
Copyright | |
8 other sections not shown
Other editions - View all
Lectures in Set Theory: With Particular Emphasis on the Method of Forcing Thomas J. Jech Limited preview - 2006 |
Common terms and phrases
absolute antichain assume atoms automorphism axiom of choice axiom of regularity B₁ B₂ Borel sets canonical cardinal numbers cf(k codes compatible complete Boolean algebra consistency construct continuum hypothesis contradiction Corollary countably complete define Definition exists extensional F-complete filter finite FM model forcing conditions formula G₁ G₂ Gödel operations hence inaccessible cardinal induction Lemma let F Let G Lévy limit ordinal M-generic subset M-generic u.f. maximal antichain model of ZF nonempty normal binary one-to-one function one-to-one mapping p.o. set P₁ P₂ partially ordered set proof of Theorem prove real numbers recursion regular cardinal RO(P Seiten sequence of ordinals sets of reals Solovay subalgebra Suslin tree Suslin's Theorem 43 transitive model ultrafilter uncountable w₁ ακ סא