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

Author(s)

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

Bibliographic Information

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.

Note

Bibliography: p. 345-346

Includes bibliographical references

Description and Table of Contents

Description

A Collection of Lectures by Variuos Authors

Table of Contents

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.

by "Nielsen BookData"

Details

• NCID: BA00247550
• ISBN:
  • 0387071644
  • 3540071644
• LCCN: 75020007
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: 354 p.
• Size: 25 cm
• Classification:
  • LCC : QA3
  • LCC : QA9.7
  • DC : 510/.8 s
  • DC : 511/.8
• Subject Headings:
  • LCSH : Model theory
  • LCSH : Toposes
• Parent Bibliography ID:
  • BA00146586