Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

AuthorMakkai, Michael. author
TitleFirst Order Categorical Logic [electronic resource] : Model-Theoretical Methods in the Theory of Topoi and Related Categories / by Michael Makkai, Gonzalo E. Reyes
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1977
Connect tohttp://dx.doi.org/10.1007/BFb0066201
Descript II, 318 p. online resource

CONTENT

Grothendieck topoi -- Interpretation of the logic in categories -- Axioms and rules of inference valid in categories -- Boolean and heyting valued models -- Completeness -- Existence theorems on geometric morphisms of topoi -- Conceptual completeness -- Theories as categories -- Classifying topoi -- Corrections to โ{128}{156}first order categorical logicโ{128}{157}


Mathematics Mathematical logic Mathematics Mathematical Logic and Foundations



Location



Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network

  line

facebook   instragram