En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Lawvere, F. W. 3 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Categories in continuum physics :
lecture given at a workshop held at suny Lawvere, F. W. ; Shanuel, S. H. | Springer-Verlag 1986

Congrès

- 126 p.
Call n° : 00009585

18-XX ; 53-XX ; 58-XX ; 70-XX ; 76-XX

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Toposes, algebraic geometry and logic
Dalhousie University
Jan. 16-19 Bucur, I. ; Giraud, J. ; Goodman, N. ; Lawvere, F. W. | Springer-Verlag 1972

Congrès


Call n° : 00021172
complexe co-tangent # déformation de torseur # formalisation des mathématiques constructives de Bishop # formalisme de dualité en géométrie algébrique # géométrie algébrique # hypothèse du continu # logique # schéma de groupe # système déductif et catégorie # théorie des faisceaux # topos classifiant # treillis continu

03-06 ; 03Exx ; Complete lattices, completions ; 14Axx ; 14L99

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Model theory and topoi
a collection of lectures by various authors Lawvere, F. W. ; Maurer, C. ; Wraith, G. C. | Springer-Verlag 1975

Ouvrage


Call n° : 00020498
catégorie interne # catégorie sémantique # classification # finitude # langage interne des topoi # logique et théorie des ensembles # sémantique de Kripke-Joyal # théorie de Horn abstraite # théorie des modèles # théorème de complétude pour catégorie logique # topos élémentaire # univers en topoi

02B15 ; 02C15 ; 02G20 ; 02H10 ; 02JXX

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

Language