
Simplified Independence Proofs
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Persons
Content
- Front Cover
- Simplified Independence Proofs: Boolean Valued Models of Set Theory
- Copyright Page
- Contents
- Preface
- Glossary of Symbols
- Location of Theorems
- Locations of Definations
- Chapter 1. General Remarks
- A. Background Materials
- B. Assumptions
- C. Summary of Results
- D. A Paradigm for the Proofs
- E. A Guide for the Casual Reader
- Chapter 2. Boolean Algebra
- A. Topological Spaces
- B. Properties of Boolean Algebras
- C. Automorphisms
- D. The Countable Chain Condition
- Chapter 3. The Basic Model
- A. Axioms of the Restricted Predicate Calculus
- B. Axioms of Equality and Extensionality
- C. Methods for Defining Members of V
- D. The Basic Set Theory Axioms
- E. Ordinals and Cardinals in the Model
- F. The Axiom of Choice
- Chapter 4. The Independence of V = L
- A. Preliminaries
- B. Proof of GCH
- C. Subsets of ?
- Chapter 5. Analogies with Forcing
- A. Comparison of Specific Proofs
- B. Replacing Boolean Algebra by Forcing in Proofs?
- Chapter 6. The Independence of AxC
- A. The Key Idea of the Proof
- B. The Choice of G
- C. Subsets of ?
- D. The Real Numbers Are Not Well-ordered
- Chapter 7. The Independence of the Continuum Hypothesis
- A. The Key Result
- B. Additional Cardinality Results
- Chapter 8. The Generalized GCH-The Bounded Case
- A. Statement of Easton's Theorem
- B. Specification of the Boolean Algebra
- C. Substitutes for the Cohen Combinatorial Lemma
- D. Cardinality Relations
- E. Proof of Easton's Theorem
- F. A Note on the Proof
- Chapter 9. The Generalized GCH-The Unbounded Case
- A. Preliminary Considerations
- B. Specification of the Boolean Algebra
- C. Definition of the Universe
- D. Definition of the Boolean Value of a Statement
- E. Proof of the Axioms of Set Theory, Except the Power Set Axiom
- F. Cardinality Relations
- G. The Axiom of the Power Set
- H. Proof of Easton's Theorem
- Chapter 10. Resolution of Conceptual Difficulties
- A. What Is Truth?
- B. Appeal to Strong Axioms
- Bibliography
- Subject Index
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.