Cargando…
The theory of semisets /
Provability, Computability and Reflection.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
North-Holland Pub. Co.,
1972.
|
| Colección: | Studies in logic and the foundations of mathematics ;
v. 70. |
| Temas: | |
| Acceso en línea: | Texto completo Texto completo Texto completo |
Tabla de Contenidos:
- 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
- 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
- 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