Functorial Model Theory
Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos
Häftad, Engelska, 2021
1 499 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum2021-03-31
- Mått152 x 229 x 16 mm
- Vikt453 g
- SpråkEngelska
- Antal sidor302
- FörlagApple Academic Press Inc.
- EAN9781774633106