What people are saying - Write a review
We haven't found any reviews in the usual places.
Formulas and classes
Axioms of ZermeloFraenkel
24 other sections not shown
Other editions - View all
a e k absolute antichain assume automorphism axiom of choice axiom of regularity Borel sets cardinal numbers compatible complete Boolean algebra construct continuum hypothesis Corollary countably complete cp(x define Definition exists f e Q F-generic subset finite forcing conditions formula Godel operations hence In[G inaccessible cardinal induction Lebesgue measurable Lemma let F Let G Let Q limit ordinal maximal antichain model of ZF n e id n e u nonempty normal binary one-to-one function one-to-one mapping p.o. set partially ordered set proof of Theorem prove real numbers recursion regular cardinal RO(P Seiten sets of reals Solovay subalgebra Suslin tree Suslin's to-generic u.f. to[G transitive model ultrafilter uncountable x e y