Model theory and topoi : a collection of lectures by various authors

著者

• Lawvere, F. William
• Maurer, Christian
• Wraith, G. C

書誌事項

Model theory and topoi : a collection of lectures by various authors

edited by F.W. Lawvere, C. Maurer, G.C. Wraith

（Lecture notes in mathematics, 445）

Springer-Verlag, 1975

• : Germany
• : U.S.

注記

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」 より

詳細情報

• NII書誌ID(NCID): BA00247550
• ISBN:
  • 0387071644
  • 3540071644
• LCCN: 75020007
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; New York
• ページ数/冊数: 354 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA3
  • LCC : QA9.7
  • DC : 510/.8 s
  • DC : 511/.8
• 件名:
  • LCSH : Model theory
  • LCSH : Toposes
• 親書誌ID:
  • BA00146586