Forcing and Classifying Topoi
Download or Read eBook Forcing and Classifying Topoi PDF written by Andrej Ščedrov and published by American Mathematical Soc.. This book was released on 1984 with total page 106 pages. Available in PDF, EPUB and Kindle.
| Author | : Andrej Ščedrov |
| Publisher | : American Mathematical Soc. |
| Total Pages | : 106 |
| Release | : 1984 |
| ISBN-10 | : 9780821822944 |
| ISBN-13 | : 0821822942 |
| Rating | : 4/5 (44 Downloads) |
Book Synopsis Forcing and Classifying Topoi by : Andrej Ščedrov
Book excerpt: We give a general method of forcing over categories as a category-theoretic universal construction which subsumes, on one hand, all known instances of forcing in set theory, Boolean and Heyting valued models and sheaf interpretations for both classical and intuitionistic formal systems; and, on the other hand, constructions of classifying topoi in topos theory.
