Forcing and Classifying Topoi
| Author | : Andrej Ščedrov |
| Publisher | : American Mathematical Soc. |
| Total Pages | : 106 |
| Release | : 1984 |
| ISBN-10 | : 9780821822944 |
| ISBN-13 | : 0821822942 |
| Rating | : 4/5 (942 Downloads) |
Book Synopsis Forcing and Classifying Topoi by : Andrej Ščedrov
Download or read book Forcing and Classifying Topoi 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. 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.
