Pengarang: G. Takeuti

In 1963, the first author introduced a course in set theory at the University of Illinois whose main objectives were to cover Godel’s work on the con- sistency of the Axiom of Choice (AC) and the Gen …

This text deals with three basic techniques for constructing models of Zermelo-Fraenkel set theory: relative constructibility, Cohen’s forcing, and Scott-Solovay’s method of Boolean valued models. Ou …

In 1963, the first author introduced a course in set theory at the Uni- versity of Illinois whose main objectives were to cover G6del’s work on the consistency of the axiom of choice (AC) and the gen …

…