Format:
Online Ressource (332 pages)
Edition:
Online-Ausg. [S.l.] HathiTrust Digital Library Online-Ausg. [S.l.] : HathiTrust Digital Library
ISBN:
9780080954813
,
0080954812
,
9780720422672
Series Statement:
Studies in logic and the foundations of mathematics v. 70
Content:
Front Cover; The Theory of Semisets; Copyright Page; Contents; Introduction; CHAPTER I.; SECTION 1. THE THEORY OF CLASSES; SECTION 2. LOGICAL FOUNDATIONS; SECTION 3. THE THEORY OF CLASSES CONTINUED; SECTION 4. THE THEORY OF SEMISETS; CHAPTER II.; SECTION 1. ORDINAL NUMBERS; SECTION 2. EQUIVALENCE AND SUBVALENCE OF SETS; CARDINAL NUMBERS; SECTION 3. THE FIRST AXIOM OF CHOICE; SECTION 4. COMPLETE BOOLEAN ALGEBRAS; SECTION 5. ORDERED AND SEPARATIVELY ORDERED SETS; CHAPTER III.; SECTION 1. THE SECOND AND THIRD AXIOMS OF REGULARITY; THE SECOND AXIOM OF CHOICE. AXIOMS CONCERNING URELEMENTS
Content:
Provability, Computability and Reflection
Content:
SECTION 2. MODEL-CLASSES AND SET-UNIVERSAL RELATIONS. INDEPENDENCE OF AXIOM (D3)SECTION 3. SYMMETRIC SETS AND THE INDEPENDENCE OF AXIOM (E1) IN TSS'; SECTION 4. DEFINABLE SETS AND THE CONSISTENCY OF THE AXIOM OF CHOICE (E2); THE THIRD AXIOM OF CHOICE; SECTION 5. CONSTRUCTIBLE SETS AND THE AXIOM OF CONSTRUCTIBILITY. THE CONSISTENCY OF THE AXIOMS (E3) AND (CONT); CHAPTER IV.; SECTION 1. AXIOMS OF SUPPORT; SECTION 2. BOOLEAN SUPPORTS; SECTION 3. PROPERTIES OF COMPLETE ULTRAFILTERS; CHAPTER V.; SECTION 1. THE FULL UPWARD EXTENSION OF THE UNIVERSE; SECTION 2. THE ULTRAPRODUCT MODEL
Content:
SECTION 3. CHARACTERISTICS OF COMPLETE BOOLEAN ALGEBRAS AND PROPERTIES OF RELATIONS AND FUNCTIONSCHAPTER VI.; SECTION 1. INDEPENDENCE OF THE AXIOM OF CONTINUUM; SECTION 2. INDEPENDENCE OF THE AXIOM OF CHOICE; SECTION 3. SUPPORT OF ONE MODEL-CLASS OVER ANOTHER; SECTION 4. BOOLEAN VALUES AND FORCING; BIBLIOGRAPHY; INDEX; INDEX OF SYMBOLS
Note:
Includes bibliographical references. - Print version record
,
Print version record
,
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002
,
Online-Ausg. [S.l.] : HathiTrust Digital Library
,
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Additional Edition:
ISBN 0720422671
Additional Edition:
Erscheint auch als Druck-Ausgabe Vopěnka, Petr Theory of semisets Amsterdam : North-Holland Pub. Co, 1972
Language:
English
Keywords:
Mengenlehre
;
Mengenlehre
;
Electronic books
;
Electronic books
