A functorial model theory : newer applications to algebraic topology, descriptive sets, and computing categories topos /
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...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Toronto ; New Jersey :
Apple Academic Press,
[2014]
|
Temas: | |
Acceso en línea: | Texto completo |