A Functorial Model Theory
Author | : Cyrus F. Nourani |
Publisher | : CRC Press |
Total Pages | : 296 |
Release | : 2016-04-19 |
ISBN-10 | : 9781482231502 |
ISBN-13 | : 1482231506 |
Rating | : 4/5 (02 Downloads) |
Download or read book A Functorial Model Theory written by Cyrus F. Nourani and published by CRC Press. This book was released on 2016-04-19 with total page 296 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.