Custom cover image
Custom cover image

The theory of semisets / Petr Vopěnka and Petr Hájek

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Studies in logic and the foundations of mathematics ; v. 70Publisher: Amsterdam : North-Holland Pub. Co, 2010Description: Online Ressource (332 pages)ISBN:
  • 9780080954813
  • 0080954812
  • 9780720422672
  • 0720422671
  • 9780720422672
Subject(s): Additional physical formats: 0720422671 | Erscheint auch als: Theory of semisets. Druck-Ausgabe Amsterdam : North-Holland Pub. Co, 1972DDC classification:
  • 511.3
LOC classification:
  • QA248
Online resources: Additional physical formats: Online-Ausg. [S.l.] : HathiTrust Digital LibrarySummary: 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 URELEMENTSSummary: Provability, Computability and ReflectionSummary: 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 MODELSummary: 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 SYMBOLSPPN: PPN: 878888438Package identifier: Produktsigel: BSZ-33-EBS-C1UB | BSZ-33-EBS-HSAA | GBV-33-EBS-MRI | GBV-33-EBS-ZHB | GBV-33-Freedom-BL | ZDB-1-ELC | ZDB-33-EBS | ZDB-33-ESD
No physical items for this record

Restrictions unspecified star

Online-Ausg. [S.l.] : HathiTrust Digital Library

Online-Ausg. [S.l.] : HathiTrust Digital Library. 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.

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT