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

MARC

LEADER 00000cam a2200000Mi 4500
001 EBOOKCENTRAL_ocn884613734
003 OCoLC
005 20240329122006.0
006 m o d
007 cr |n|||||||||
008 140725t20142014onca ob 001 0 eng d
040 |a YDXCP  |b eng  |e rda  |e pn  |c YDXCP  |d OCLCO  |d OCLCQ  |d OCLCF  |d EBLCP  |d STF  |d CRCPR  |d DEBSZ  |d OCLCQ  |d COO  |d OCLCQ  |d SFB  |d OCLCO  |d K6U  |d OCLCQ  |d OCLCO  |d OCLCL 
019 |a 868488087 
020 |a 1482231506  |q (electronic bk.) 
020 |a 9781482231502  |q (electronic bk.) 
020 |z 9781926895925  |q (hardcover) 
020 |z 1926895924  |q (hardcover) 
029 1 |a AU@  |b 000053331061 
029 1 |a DEBSZ  |b 431499357 
029 1 |a NZ1  |b 15585663 
035 |a (OCoLC)884613734  |z (OCoLC)868488087 
050 4 |a QA169  |b .N695 2014 
055 8 |a QA169  |b N69 2014 
055 9 |a B-161568 
082 0 4 |a 512/.62  |2 23 
084 |a cci1icc  |2 lacc 
084 |a coll13  |2 lacc 
049 |a UAMI 
100 1 |a Nourani, Cyrus F,  |e author. 
245 1 2 |a A functorial model theory :  |b newer applications to algebraic topology, descriptive sets, and computing categories topos /  |c Cyrus F. Nourani. 
264 1 |a Toronto ;  |a New Jersey :  |b Apple Academic Press,  |c [2014] 
264 4 |c ©2014 
300 |a 1 online resource (x, 292 pages :) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references and index. 
588 0 |a Print version record. 
505 0 |a 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. 
520 |a 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. 
590 |a ProQuest Ebook Central  |b Ebook Central Academic Complete 
650 0 |a Functor theory. 
650 0 |a Model theory. 
650 6 |a Théorie des foncteurs. 
650 6 |a Théorie des modèles. 
650 7 |a Functor theory  |2 fast 
650 7 |a Model theory  |2 fast 
758 |i has work:  |a Functorial Model Theory (Text)  |1 https://id.oclc.org/worldcat/entity/E39PCYgMpd7BrcDtfDRK7mjWcP  |4 https://id.oclc.org/worldcat/ontology/hasWork 
776 0 8 |i Print version:  |a Nourani, Cyrus F.  |t Functorial model theory.  |z 9781926895925  |z 1926895924  |w (DLC) 2013955135 
856 4 0 |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=1383561  |z Texto completo 
938 |a CRC Press  |b CRCP  |n AAP0NE11172PDF 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL1383561 
938 |a YBP Library Services  |b YANK  |n 11085199 
994 |a 92  |b IZTAP 

Ejemplares similares