Forcing and Classifying Topoi

Forcing and Classifying Topoi
Author :
Publisher : American Mathematical Soc.
Total Pages : 106
Release :
ISBN-10 : 9780821822944
ISBN-13 : 0821822942
Rating : 4/5 (44 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.


Forcing and Classifying Topoi Related Books