Functorial Model Theory

Newer Applications to Algebraic Topology, Descriptive Sets, and Computing Categories Topos

AvCyrus F. Nourani

Inbunden, Engelska, 2014

1 688 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

E-bok

2 012 kr

Häftad

1 169 kr

Beskrivning

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

Utgivningsdatum:2014-02-06
Mått:152 x 229 x 21 mm
Vikt:566 g
Format:Inbunden
Språk:Engelska
Antal sidor:302
Förlag:Apple Academic Press Inc.
ISBN:9781926895925

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik
Matematik inom Naturvetenskap och teknik
Algebra inom Naturvetenskap och teknik

Mer om författaren

Dr. Cyrus F. Nourani is a consultant in computing R&D and a research professor at Simon Fraser University. He has many years of experience in the design and implementation of computing systems and has authored/coauthored several books and over 350 publications in mathematics and computer science. He has also held faculty positions at numerous institutions, including the University of Michigan, University of Pennsylvania, University of Auckland, UCLA, and MIT. His research interests include computer science, artificial intelligence, mathematics, virtual haptic computation, information technology, and management.

Innehållsförteckning

Introduction. Categorical Preliminaries. Infinite Language Categories. Functorial Fragment Model Theory. Algebraic Theories, Categories, and Models. Generic Functorial Models and Topos. Models, Sheaves, and Topos. Functors on Fields. Filters and Ultraproducts on Projective Sets. A Glimpse on Algebraic Set Theory. Index.