Springer
Model Theory and Topoi (English, F. W. Lawvere | C. Maurer | G. C. Wraith)
₹4,507
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
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.
ISBN: 9783540071648
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540071648 |
| ISBN-10 | 3540071644 |
| Author | F. W. Lawvere | C. Maurer | G. C. Wraith |
