| 000 -LEADER |
|---|
| fixed length control field |
01934nmm a2200229Ia 4500 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
230306s9999||||xx |||||||||||||||||und|| |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9781470415877 (online) |
| 245 #0 - TITLE STATEMENT |
|---|
| Title |
Models, logics, and higher-dimensional categories : |
| Remainder of title |
a tribute to the work of Mihaly Makkai |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Providence, R.I. : |
| Name of publisher, distributor, etc. |
American Mathematical Society, |
| Date of publication, distribution, etc. |
c2011. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (x, 426 p. : ill.) |
| 490 ## - SERIES STATEMENT |
|---|
| Series statement |
CRM Proceedings and Lecture Notes, |
| Volume/sequential designation |
v. 53 |
| International Standard Serial Number |
2472-4890 |
| 500 ## - GENERAL NOTE |
|---|
| General note |
Proceedings of a conference held at Centre de recherches mathematiques of the Universite de Montreal, June 18-20, 2009. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc. note |
Includes bibliographical references and index. |
| 505 ## - FORMATTED CONTENTS NOTE |
|---|
| Title |
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. |
| -- |
^\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 |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Categories (Mathematics) |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematical logic and foundations -- Model theory -- Classification theory, stability and related concepts. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Mathematical logic and foundations -- Proceedings, conferences, collections, etc. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Model theory |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Hart, Bradd T. |
| 700 ## - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Makkai, Mihaly |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://www.ams.org/crmp/053">http://www.ams.org/crmp/053</a> |
