Set Theory
Exploring Independence and Truth
Nonfiction, Science & Nature, Mathematics, Logic, History
| Author: | Ralf Schindler | ISBN: | 9783319067254 |
| Publisher: | Springer International Publishing | Publication: | May 22, 2014 |
| Imprint: | Springer | Language: | English |
| Author: | Ralf Schindler |
| ISBN: | 9783319067254 |
| Publisher: | Springer International Publishing |
| Publication: | May 22, 2014 |
| Imprint: | Springer |
| Language: | English |
This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is the interplay of large cardinals, inner models, forcing and descriptive set theory.
The following topics are covered:
• Forcing and constructability
• The Solovay-Shelah Theorem i.e. the equiconsistency of ‘every set of reals is Lebesgue measurable’ with one inaccessible cardinal
• Fine structure theory and a modern approach to sharps
• Jensen’s Covering Lemma
• The equivalence of analytic determinacy with sharps
• The theory of extenders and iteration trees
• A proof of projective determinacy from Woodin cardinals.
Set Theory requires only a basic knowledge of mathematical logic and will be suitable for advanced students and researchers.
This textbook gives an introduction to axiomatic set theory and examines the prominent questions that are relevant in current research in a manner that is accessible to students. Its main theme is the interplay of large cardinals, inner models, forcing and descriptive set theory.
The following topics are covered:
• Forcing and constructability
• The Solovay-Shelah Theorem i.e. the equiconsistency of ‘every set of reals is Lebesgue measurable’ with one inaccessible cardinal
• Fine structure theory and a modern approach to sharps
• Jensen’s Covering Lemma
• The equivalence of analytic determinacy with sharps
• The theory of extenders and iteration trees
• A proof of projective determinacy from Woodin cardinals.
Set Theory requires only a basic knowledge of mathematical logic and will be suitable for advanced students and researchers.
