登入選單

返回Google圖書搜尋

Forcing and Classifying Topoi

Andrej Ščedrov

出版	American Mathematical Soc., 1984
主題	Mathematics / GeneralMathematics / Group TheoryMathematics / Logic
ISBN	08218229429780821822944
URL	http://books.google.com.hk/books?id=lDHUCQAAQBAJ&hl=&source=gbs_api
EBook	SAMPLE

註釋

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.