Model theory and topoi : a collection of lectures by various authors
著者
書誌事項
Model theory and topoi : a collection of lectures by various authors
(Lecture notes in mathematics, 445)
Springer-Verlag, 1975
- : Germany
- : U.S.
大学図書館所蔵 件 / 全71件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 345-346
Includes bibliographical references
内容説明・目次
内容説明
A Collection of Lectures by Variuos Authors
目次
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.
「Nielsen BookData」 より