TY  - BOOK
AU  - Nourani,Cyrus F.
TI  - Functorial model theory: newer applications to algebraic topology, descriptive sets, and computing categories topos 
SN  - 9781926895925 (bound)
U1  - 512.62 23
PY  - 2014///
CY  - Toronto
PB  - Apple Academic Press
KW  - Functor theory
KW  - Model theory
N1  - Includes bibliographical references (pages 257-284) and index; 1. Introduction --
 2. Categorical preliminaries --
 3. Infinite language categories --
 4. Functional fragment model theory --
 5. Algebraic theories, categories and models --
 6. Generic functional models and topos --
 7. Models, sheaves, and topos --8. Functors on fields --
 9. Filters and ultraproducts on projective sets --
 10. A glimpse on algebraic set theory--
Bibliography--
Index
N2  - This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these categories before developing a model theory for functors starting with a countable fragment of an infinitary language. He also presents a new technique for generating generic models with categories by inventing infinite language categories and functorial model theory. In addition, the book covers string models, limit models, and functorial models

ER  -