Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleModel Theory and Topoi [electronic resource] : A Collection of Lectures by Various Authors / edited by F. William Lawvere, Christian Maurer, Gavin C. Wraith
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1975
Connect tohttp://dx.doi.org/10.1007/BFb0061290
Descript VI, 358 p. online resource

CONTENT

to Part I -- Abstract Horn theories -- Completeness theorem for logical categories -- Logical categories, semantical categories and topoi -- Internal categories and classification theorems -- Lectures on elementary topoi -- Some topos theoretic concepts of finiteness -- Universes in topoi -- Logical and set theoretical tools in elementary topoi -- A note on Kripke-Joyal semantics for the internal language of topoi


Mathematics Topology Mathematics Topology



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