AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Models, Logics, and Higher-Dimensional Categories: A Tribute to the Work of Mihály Makkai
About this Title
Bradd Hart, McMaster University, Hamilton, ON, Canada, Thomas G. Kucera, University of Manitoba, Winnipeg, MB, Canada, Anand Pillay, University of Illinois, Urbana, IL, Philip J. Scott, University of Ottawa, Ottawa, ON, Canada and Robert A. G. Seely, McGill University, Montreal, QC, Canada, Editors
Publication: CRM Proceedings and Lecture Notes
Publication Year:
2011; Volume 53
ISBNs: 978-0-8218-7281-9 (print); 978-1-4704-1587-7 (online)
DOI: https://doi.org/10.1090/crmp/053
MathSciNet review: MR2848606
MSC: Primary 00B25; Secondary 03-06, 03C45, 03C52, 03C90, 03G30, 18-06
Table of Contents
Front/Back Matter
Chapters
- The number of countable models in categories of sheaves
- Pseudomonodacity and 2-stack completions
- Purity and pure-injectivity for topological modules
- Model theory vs. categorical logic: Two approaches to pretopos completion (a.k.a. $T^{\mathrm {eq}}$)
- The dialectica monad and its cousins
- A categorical approach to internality
- Computable structures of Scott rank $\omega _1^{\mathrm {CK}}$
- The Lorentz category in special relativity
- A model-theoretic counterpart to Moishezon morphisms
- Generic stability, regularity, and quasiminimality
- Indexed Lawvere theories for local state
- Model theory in additive categories
- A derivation of Einstein’s vacuum field equations
- An adventure into Hungarian word order with cyclic pregroups
- No limit model in inaccessibles
- The strict $\omega $-groupoid interpretation of type theory
- Lax monoidal fibrations