Functorial model theory, a: newer applications to algebraic topology, descriptive sets, and computing categories topos
Auteur :
Nourani, Cyrus F.
Éditeur :
Apple Academic Press Inc.
ISBN :
9781774633106
Date de publication :
31 mars 2021
Dimensions :
22,9 x 15,2 cm
Poids :
453 g
Langue :
Anglais
Pays d'origine :
Canada
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