Theory of Semisets (eBook)
329 Seiten
Elsevier Science (Verlag)
978-0-08-095481-3 (ISBN)
The Theory of Semisets
Front Cover 1
The Theory of Semisets 4
Copyright Page 5
Contents 6
Introduction 8
CHAPTER I. 16
SECTION 1. THE THEORY OF CLASSES 16
SECTION 2. LOGICAL FOUNDATIONS 32
SECTION 3. THE THEORY OF CLASSES CONTINUED 56
SECTION 4. THE THEORY OF SEMISETS 70
CHAPTER II. 90
SECTION 1. ORDINAL NUMBERS 90
SECTION 2. EQUIVALENCE AND SUBVALENCE OF SETS CARDINAL NUMBERS
SECTION 3. THE FIRST AXIOM OF CHOICE 111
SECTION 4. COMPLETE BOOLEAN ALGEBRAS 118
SECTION 5. ORDERED AND SEPARATIVELY ORDERED SETS 130
CHAPTER III. 140
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) 155
SECTION 3. SYMMETRIC SETS AND THE INDEPENDENCE OF AXIOM (E1) IN TSS' 167
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) 192
CHAPTER IV. 201
SECTION 1. AXIOMS OF SUPPORT 201
SECTION 2. BOOLEAN SUPPORTS 211
SECTION 3. PROPERTIES OF COMPLETE ULTRAFILTERS 228
CHAPTER V. 236
SECTION 1. THE FULL UPWARD EXTENSION OF THE UNIVERSE 236
SECTION 2. THE ULTRAPRODUCT MODEL 253
SECTION 3. CHARACTERISTICS OF COMPLETE BOOLEAN ALGEBRAS AND PROPERTIES OF RELATIONS AND FUNCTIONS 262
CHAPTER VI. 275
SECTION 1. INDEPENDENCE OF THE AXIOM OF CONTINUUM 275
SECTION 2. INDEPENDENCE OF THE AXIOM OF CHOICE 286
SECTION 3. SUPPORT OF ONE MODEL-CLASS OVER ANOTHER 296
SECTION 4. BOOLEAN VALUES AND FORCING 311
BIBLIOGRAPHY 325
INDEX 327
INDEX OF SYMBOLS 331
| Erscheint lt. Verlag | 1.4.2000 |
|---|---|
| Sprache | englisch |
| Themenwelt | Informatik ► Software Entwicklung ► User Interfaces (HCI) |
| Informatik ► Theorie / Studium ► Algorithmen | |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Naturwissenschaften | |
| Technik | |
| ISBN-10 | 0-08-095481-2 / 0080954812 |
| ISBN-13 | 978-0-08-095481-3 / 9780080954813 |
| Haben Sie eine Frage zum Produkt? |
PDF (Adobe DRM)Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
