AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Forcing and classifying topoi
About this Title
Andrej Ščedrov
Publication: Memoirs of the American Mathematical Society
Publication Year:
1984; Volume 48, Number 295
ISBNs: 978-0-8218-2294-4 (print); 978-1-4704-0705-6 (online)
DOI: https://doi.org/10.1090/memo/0295
MathSciNet review: 732901
MSC: Primary 03G30; Secondary 03-02, 03E35, 03E40, 03F50, 18B25, 18D30
Table of Contents
Chapters
- 0. Preliminaries
- 1. Forcing and classifying topoi
- 2. More geometric forcing: Continuous actions
- 3. Forcing in set theory
- 4. Applications to intuitionistic theories