02819oam 2200601I 450 991078912340332120230803201719.00-429-18873-01-4822-3150-610.1201/b16416 (CKB)3710000000083508(EBL)1383561(SSID)ssj0001158793(PQKBManifestationID)11683771(PQKBTitleCode)TC0001158793(PQKBWorkID)11108439(PQKB)10677019(OCoLC)872667448(MiAaPQ)EBC1383561(OCoLC)868488087(EXLCZ)99371000000008350820180331h20142014 uy 0engur|n|---|||||txtccrA functorial model theory newer applications to algebraic topology, descriptive sets, and computing categories topos /Cyrus F. Nourani, PhDFirst edition.Toronto :Apple Academic Press, Inc. ;Boca Raton, FL :CRC Press,[2014]©20141 online resource (296 p.)Description based upon print version of record.1-926895-92-4 Includes bibliographical references.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; BibliographyThis 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.Infinitary languagesAlgebraic topologyDescriptive set theoryCategories (Mathematics)Infinitary languages.Algebraic topology.Descriptive set theory.Categories (Mathematics)512/.62Nourani Cyrus F.1551257FlBoTFGFlBoTFGBOOK9910789123403321A functorial model theory3810679UNINA01005nam a2200253 i 450099100434993520753620241114224801.0241113s1969 fr er 001 0 fre dBibl. Dip.le Aggr. Studi Umanistici - Sez. FilosofiaitaSocioculturale Scsfreeng306.4094723Saharov, Andrej Dmitrievič251119Progress, coexistence and intellectual freedom4286682La liberté intellectuelle en U. R. S. S. et la coexistence /Andrei D. Sakharov ; traduit de l'anglais par Serge Bricianer ; introduction, postface et notes de Harrison E. SalisburyParis :Gallimard,1969191 p. ;17 cmIdées ;180Politica culturaleUnione SovieticaSalisbury, Harrison E.Bricianer, SergeIdées ;180991004349935207536Progress, coexistence and intellectual freedom4286682UNISALENTO