Set theory with a universal set : exploring an untyped universe /

• Main Author: Forster, T. E.
• Format: Book
• Published: Oxford : Clarendon Press, 1992.
• Series: Oxford Logic Guides ; 20
• Subjects: LOGICA; TEORIA DE CONJUNTOS

Table of Contents:

• 1.Introduction. Some motivations and axioms. 2.NF and related systems. Cardinal and ordinal arithmetic. The Kaye-Specker equiconsistency lemma. Remarks on subsystems, term models, and prefix classes. 3.Permutation models. 4.Interpretations in well-founded sets. 5.Open problems