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
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 withHinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
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.
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497