Set Theory

A-saturated Aronszajn tree automorphism axiom of choice Borel set closed unbounded cofinality compact cardinal complete Boolean algebra construct Corollary countable defined denote dense disjoint dom(p elementary embedding elements Exercise exists filter finite formula function f hence inaccessible cardinal indiscernibles induction isomorphic Kurepa tree large cardinals Lebesgue measurable let f Let G Let Q Let us assume Let us consider limit ordinal measurable cardinal model of ZFC nonempty normal measure notion of forcing one-to-one order-type partially ordered set partition proof of Lemma proof of Theorem prove regular cardinal relation satisfies the c.c.c. Section sequence set of reals set theory singular cardinal SJIG Skolem ſº Solovay stationary submodel suffices to show Suslin tree transitive model ultrafilter ultrapower uncountable cardinal weakly compact well-founded well-ordering