A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos / Cyrus F. Nourani.
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 ne...
Saved in:
| Online Access: |
Full Text (via ProQuest) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Toronto ; New Jersey :
Apple Academic Press,
[2014]
|
| Subjects: |
| Summary: | 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. |
|---|---|
| Physical Description: | 1 online resource (x, 292 pages :) : illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 1482231506 9781482231502 |
| Source of Description, Etc. Note: | Print version record. |