Home » Functorial Model Theory
Product Image

Functorial Model Theory

Cyrus F. Nourani
€95.99
Quantity:
Ships in 10-20 days
Delivery/Collection within 10-20 working days
Shipping & Delivery
A Glimpse on m Algebraic Set Theory
A01=Cyrus F. Nourani
Adjoint Functors
Admissible Sets
algebra
algebraic
algebraic structures
Algebraic Theories
Algebraic Theory
and Models
Author_Cyrus F. Nourani
Boolean Algebra
categorical logic
Categorical Preliminaries
Categories
Category=PBCH
Category=PBF
Category=PBM
Comma Category
Complete Embedding
Contravariant Functor
Defi Nable
elementary
Elementary Diagram
Elementary Embedding
Elementary Extensions
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
extension
Fi Rst Order Logic
Filters and Ultraproducts on Projective Sets
Forgetful Functor
Fragment Consistency
Fragment Models
Functorial Model Theory
Generalized Continuum Hypothesis
generic model construction
Generic Model Functor
heyting
Heyting Algebras
Homomorphic Image
infinitary logic
Infinite Language Categories
logic
lter
Model Theory
Natural Transformations
order
projective set filters
Quantifi Ers
rst
sheaf theory
Topological Space
topology
ultraproducts
Yoneda Lemma

Product details

  • ISBN 9781774633106
  • Weight: 453g
  • Dimensions: 152 x 229mm
  • Publication Date: 31 Mar 2021
  • Publisher: Apple Academic Press Inc.
  • Publication City/Country: CA
  • Product Form: Paperback
Secure checkout Fast Shipping Easy returns
Description

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.
About Cyrus F. Nourani

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.

More from this author