Overview
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.
- | Author: CYRUS F. NOURANI
- | Publisher: APPLE ACADEMIC
- | Publication Date: Mar 31, 2021
- | Number of Pages: 302 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 1774633108
- | ISBN-13: 9781774633106
