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.
- 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.
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.
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.
- 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.
- 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 [+]
