2 résultat(s) recherche sur le mot-clé 'geometric logic'

Forcing and classifying topoi / Scedrov, Andrej

Public ISBD Titre : Forcing and classifying topoi Type de document : texte imprimé Auteurs : Scedrov, Andrej Editeur : Providence, R.I. : American Mathematical Society Année de publication : 1984 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 295 Importance : x - 93 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : geometric realization functor  simplicial sets  generic model  independence results  forcing  geometric theories  geometric logic  classifying topos Index. décimale : Mem Forcing and classifying topoi [texte imprimé] / Scedrov, Andrej . - Providence, R.I. : American Mathematical Society, 1984 . - x - 93 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 295) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E40 Other aspects of forcing and Boolean-valued models 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : geometric realization functor  simplicial sets  generic model  independence results  forcing  geometric theories  geometric logic  classifying topos Index. décimale : Mem

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15174	Mem/295	imprimé / autre	CRDM	Mem/MEMOIRS AMS	Disponible

Categories, allegories / Freyd, Peter J.

Public ISBD Titre : Categories, allegories Type de document : texte imprimé Auteurs : Freyd, Peter J. ; Scedrov, André Editeur : North-Holland Année de publication : 1990 Collection : North-Holland Mathematical Library num. 39 Importance : xvii - 296 p. ISBN/ISSN/EAN : 978-0-444-70368-2 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : allegories  topoi  sheaves  adjoint functors  natural transformations  geometric logic Index. décimale : 18A Categories, allegories [texte imprimé] / Freyd, Peter J. ; Scedrov, André . - [S.l.] : North-Holland, 1990 . - xvii - 296 p.. - (North-Holland Mathematical Library; 39) . ISBN : 978-0-444-70368-2 Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : allegories  topoi  sheaves  adjoint functors  natural transformations  geometric logic Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14599	18A60	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible