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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Nourani, Cyrus F (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Toronto ; New Jersey : Apple Academic Press, [2014]
Temas:
Functor theory.
Model theory.
Théorie des foncteurs.
Théorie des modèles.
Functor theory
Model theory
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Front Cover; About the Author; Contents; Preface; Chapter 1: Introduction; Chapter 2: Categorical Preliminaries; Chapter 3: Infinite Language Categories; Chapter 4: Functorial Fragment Model Theory; Chapter 5: Algebraic Theories, Categories, and Models; Chapter 6: Generic Functorial Models and Topos; Chapter 7: Models, Sheaves, and Topos; Chapter 8: Functors on Fields; Chapter 9: Filters and Ultraproducts on Projective Sets; Chapter 10: A Glimpse on Algebraic Set Theory; Bibliography.

Ejemplares similares