LEADER 02819oam  2200601I  450 
001 9910818190403321
005 20230803201719.0
010   $a0-429-18873-0
010   $a1-4822-3150-6
024 7 $a10.1201/b16416 
035   $a(CKB)3710000000083508
035   $a(EBL)1383561
035   $a(SSID)ssj0001158793
035   $a(PQKBManifestationID)11683771
035   $a(PQKBTitleCode)TC0001158793
035   $a(PQKBWorkID)11108439
035   $a(PQKB)10677019
035   $a(OCoLC)872667448
035   $a(MiAaPQ)EBC1383561
035   $a(OCoLC)868488087
035   $a(EXLCZ)993710000000083508
100   $a20180331h20142014  uy             0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt
182   $cc
183   $acr
200 12$aA functorial model theory $enewer applications to algebraic topology, descriptive sets, and computing categories topos /$fCyrus F. Nourani, PhD
205   $aFirst edition.
210  1$aToronto :$cApple Academic Press, Inc. ;$aBoca Raton, FL :$cCRC Press,$d[2014]
210  4$dİ2014
215   $a1 online resource (296 p.)
300   $aDescription based upon print version of record.
311   $a1-926895-92-4 
320   $aIncludes bibliographical references.
327   $aFront 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
330   $aThis 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.
606   $aInfinitary languages
606   $aAlgebraic topology
606   $aDescriptive set theory
606   $aCategories (Mathematics)
615  0$aInfinitary languages.
615  0$aAlgebraic topology.
615  0$aDescriptive set theory.
615  0$aCategories (Mathematics)
676   $a512/.62
700   $aNourani$b Cyrus F.$01654965
801  0$bFlBoTFG
801  1$bFlBoTFG
906   $aBOOK
912   $a9910818190403321
996   $aA functorial model theory$94007122
997   $aUNINA