A Functorial Model Theory: Newer Applications To Algebraic Topology, Descriptive Sets, And Computing Categories Topos by Cyrus F. NouraniA Functorial Model Theory: Newer Applications To Algebraic Topology, Descriptive Sets, And Computing Categories Topos by Cyrus F. Nourani

A Functorial Model Theory: Newer Applications To Algebraic Topology, Descriptive Sets, And…

byCyrus F. Nourani

Hardcover | June 2, 2014

Pricing and Purchase Info

$112.00 online 
$224.00 list price
Earn 560 plum® points

Prices and offers may vary in store

Out of stock online

Not available in stores

about

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.

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 ...
Loading
Title:A Functorial Model Theory: Newer Applications To Algebraic Topology, Descriptive Sets, And…Format:HardcoverDimensions:302 pages, 9.41 × 7.24 × 0.98 inPublished:June 2, 2014Publisher:Taylor and FrancisLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:1926895924

ISBN - 13:9781926895925

Look for similar items by category:

Reviews

Table of Contents

Introduction

Categorical Preliminaries
Categories and Functors
Morphisms
Functors
Categorical Products
Natural Transformations
Products on Models
Preservation of Limits
Model Theory and Topoi
More on Universal Constructions
Chapter Exercises

Infinite Language Categories
Basics
Limits and Infinitary Languages
Generic Functors and Language String Models
Functorial Morphic Ordered Structure Models
Chapter Exercises
Functorial Morphic Ordered Structure Models

Functorial Fragment Model Theory
Introduction
Generic Functors and Language String Models
Functorial Models As ¿-Chains
Models Glimpses From Functors
Structure Products
Higher Stratified Consistency and Completeness
Fragment Positive Omitting Type Algebras
Omitting Types and Realizability
Positive Categories and Consistency Models
More on Fragment Consistency
Chapter Exercises

Algebraic Theories, Categories, and Models
Ultraproducts on Algebras
Ultraproducts and Ultrafilters
Ultraproduct Applications to Horn Categories
Algebraic Theories and Topos Models
Free Theories and Factor Theories
T-Algebras and Adjunctions
Theory Morphisms, Products and Co-products
Algebras and the Category of Algebraic Theories
Initial Algebraic Theories and Computable Trees
Chapter Exercises

Generic Functorial Models and Topos
Elementary Topoi
Generic Functorial Models
Generic Functors
Initial D<_a2c_g> Models
Positive Forcing Models
Functors Computing Hasse Diagram Models
Fragment Consistent Models
Homotopy theory of topos
Filtered colimits and comma categories
More on Yoneda Lemma
Chapter Exercises

Models, Sheaves, and Topos
PreSheaves
Duality, Fragment Models, and Topology
Duality
Lifts on Topos Models on Cardinalities
Chapter Exercises

Functors on Fields
Introduction
Basic Models
Fields
Prime Models
Omitting Types on Fields
Filters and Fields
Filters and Products
Chapter Exercises

Filters and Ultraproducts on Projective Sets
General Definitions
Generic Functors and Language String Models
Functorial Fragment Consistency
Filters
Structure Products
Completing Theories and Fragments
Prime Models and Model Completion
Uniform and countably incomplete ultrafilters
Functorial Projetive Set Models and Saturation
Ultraproducts and Ultrafliters
Chapter Exercises

A Glimpse on m Algebraic Set Theory
Preliminaries
Ultraproducts and Ultrafilters on Sets
Ultrafilters over N
Saturation and Preservations
Functorial Models and Descriptive Sets
Filters, Fragment Constructible Models, and Sets
Index