Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 219 p.
Various Publications Series , 0030
Localisation : Publication 1er étage
anneau local réel formellement # connexion en géométrie différentielle formelle # dynamique catégorique # méthde de théorie des topoi # stabilité infinitésimale # structure complexe en topos # subtopos du classificateur d'anneaux # théorie synthétique des champs de vecteurs # topologie pour géométrie algébrique réelle
03G30 ; 14-XX ; 18B25 ; 18Fxx ; 53-XX
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 122 p.
Various Publications Series , 0025
Localisation : Publication 1er étage
complétude interne # construction imprédicative # foncteur # induction transfinie # logique # théorie des treillis # topos élémentaire
03G30 ; 18Axx ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- pag. mult.
Séminaire Bourbaki mars 2015
Localisation : Séminaire 1er étage
catégorie supérieure # théorie des topos # variété compacte à courbure négative # flot géodésique # fonction zêta # espace de Banach # opérateur scalaire # opérateur compact
18B25 ; 18G55 ; 37D40 ; 47B37
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-2294-4
Memoirs of the american mathematical society , 0295
Localisation : Collection 1er étage
03G30 ; 18B25 ; 18D30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-2468-9
Memoirs of the american mathematical society , 0404
Localisation : Collection 1er étage
axiome de choix # logique # theorie des ensembles # theorie des modeles
03E25 ; 03E35 ; 03E40 ; 03G30 ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 290 p.
ISBN 978-981-02-0153-1
Localisation : Ouvrage RdC (WYLE)
catégorie spéciale # logique catégorique # topoi
03G30 ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 265 p.
ISBN 978-0-19-853392-4
Oxford logig guides , 0021
Localisation : Ouvrage RdC (MCLA)
catégorie # logique # topos
03G30 ; 03Gxx ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-2543-3
Memoirs of the american mathematical society , 0482
Localisation : Collection 1er étage
G- équival ent # G-adjoint # G-catégorie # G-en semble partiel # G-foncteur catégorie # G-limite # G-représentable # G-topos # adjoint transversalisé # capable de G-topos # fermé stablement # fonction transversalisé # limite stable # limite transverse # réflexion stable # sou scatégories stable # transformation G-naturelle # équivalent transverse
18A35 ; 18A40 ; 18B25 ; 18C15 ; 18D05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 486 p.
ISBN 978-0-444-85207-6
Studies in logic and the foundations of mathematics , 0098
Localisation : Ouvrage RdC (GOLD)
algèbre booléenne # arithmétique # axiome d'infinitude # colimite # constructivisme # espace topologique # factorisation d'images # faisceau # fibré # foncteur adjoint # fondement des mathématiques # intuitionisme # limite # logique # monomorphisme # oméga # philosophie des mathématiques # quantificateur # représentation d'objets # théorie des catégories # théorie des ensembles # topos # topoi # épimorphisme
03B20 ; 03C90 ; 03G30 ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 627 p.
ISBN 978-0-387-97710-2
Universitext
Localisation : Ouvrage RdC (MACL)
faisceau # géométrie # logique # topologie # topologie étale # topos
03G30 ; 14F20 ; 18B25 ; 18F20 ; 54B40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-387-97710-2
Universitext
Localisation : Disparu
continuation de base de la topologie générale # faisceau # géométrie # logique # logique algébrique # logique catégorique # préfaisceau # théorie de la cohomologie # topologie de Grothendieck # topologie étale # topos
03G30 ; 14F20 ; 18B25 ; 18F20 ; 54B40
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 271 p.
ISBN 978-0-19-853586-7
Oxford Science Publications
Localisation : Ouvrage RdC (DIER)
algèbre commutative # anneaux # catégorie # catégorie abélienne # catégorie de faisceaux # grand nombre # géométrie algébrique # morphisme # objet pur # objet étalé # problème de classification des catégories # propriété des objets plat # pureté des morphismes # schéma # topos de Zariski # ultraschéma de Jacobson # variété algébrique # équivalence
18A23 ; 18Axx ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 122 p.
ISBN 978-0-521-55830-3
London mathematical society lecture note series , 0220
Localisation : Collection 1er étage
algèbre de Zermelo- Fraenkel # application finie de Kuratowski # axiome pour théorie des ensembles # descente # ensemble et classe # faisceau sur site # nomade et algèbre à successeur # ordinal de Von Neumann # pretopos de Heyting # théorie axiomatique des petites applications # théorie des ensembles algébriques # théorème d'existence # théorème du point fixe de Tarski
03Exx ; 03G30 ; 04-XX ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 522 p.
ISBN 978-0-521-44180-3
Encyclopedia of mathematics and its applications , 0052
Localisation : Collection 1er étage
algèbre catégorique # algèbre de Heyting # axiome d'infinité # calcul propositionnel intuitimiste # espace sobre # faisceau # faisceau en topos # locale # logique interne de topos # loi du milieu exclu # scène # topos classifiant # topos de Grothendieck # topos élémentaire
03G30 ; 18B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-0-8218-2168-8
Memoirs of the american mathematical society , 0705
Localisation : Collection 1er étage
application propre # application propre au topos # mathématique propre # topos
18B25 ; 18F10 ; 22A22
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 261 p.
ISBN 978-0-521-01060-3
Localisation : Ouvrage RdC (LAWV)
théorie des ensembles # logique # philosophie des mathématiques # catégorie des ensembles # limite inverse finie # axiome du choix
03E99 ; 03-02 ; 03A05 ; 18B05 ; 03E20 ; 03G30 ; 18B25
... Lire [+]
