A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'simplicial sets'
Affiner la recherche Générer le flux rss de la recherche
Cellular structures in topology / R. Fritsch
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 10426 55C121 imprimé / autre CRDM 55/TOPOLOGIE ALGEBRIQUE Disponible Forcing and classifying topoi / Scedrov, Andrej
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 TopoiMots-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 TopoiMots-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