IRMA - Documents

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

immeuble de Tits ; géométrie de Tits ; polygône généralisé ; géométrie d'incidence ; théorie des modèles ; système de Steiner

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles ; théorie des groupes

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logique ; théorie des modèles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des ensembles ; théorie des modèles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles ; sémantique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles ; théorie des ensembles ; logique algébrique ; logique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles ; théorie des ensembles ; récursion

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logique ; théorie des modèles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

logique mathématique ; récursion ; théorie des modèles ; théorie des ensembles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

algèbre différentielle ; théorie des modèles ; théorie de Picard-Vessiot ; théorie de Galois différentielle ; géométrie différentielle algébrique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

induction ; théorie des modèles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

géométrie analytique non archimédienne ; espace de Berkovich ; théorie des modèles ; topologie modérée

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des catégories ; méthode simpliciale ; champ ; opérade ; théorie des modèles ; géométrie algébrique

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

corps valué ; théorie des modèles ; type ; indépendance ; stabilité

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles ; élimination des quantificateurs ; stabilité ; théorème des zéros de Hilbert ; théorème de Chevalley ; théorie algébrique des champs

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

théorie des modèles ; base de données

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

algèbre linéaire ; monade ; K-théorie algébrique ; théorie des modèles ; anneau de groupe ; quaternion ; coalgèbre ; quasi-variété d'algèbres ; algèbre de Lie libre ; yangien ; lambda-anneau ; groupe de Brauer ; groupe algébrique

... Lire [+]

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents théorie des modèles | enregistrements trouvés : 55

Tits buildings and the model theory of groups Ed. Tent, Katrin. -Cambridge : Cambridge university Press , 2002 . - x, 298 p. ; 23 cm
Nouveau

Model theory of groups and automorphism groups Evans, David M.. -Cambridge : Cambridge university Press , 1997 . - xvi, 212 p. ; 24 cm
Nouveau

Logic and computer science Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer , 1990 . - 162
https://doi.org/10.1007/BFb0093921
Nouveau

Cabal seminar 81-85 : proceedings, Caltech-UCLA logic seminar 1981-85 Ed. Kechris, Alexander S. ; Ed. Martin, D. ; Ed. Steel, J.R.. -Berlin : Springer , 1988 . - 224
https://doi.org/10.1007/BFb0084966
Nouveau

Logic colloquium 84 Ed. Paris, J.B. ; Ed. Wilkie, Alex J. ; Ed. Wilmers, G.M.. -Amsterdam : North-Holland , 1986 . - x-377
Nouveau

Models and sets part 1 Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer , 1984 . - viii, 484
https://doi.org/10.1007/BFb0099377
Nouveau

Logic colloquium 76 Ed. Gandy, R.O. ; Ed. Hyland, J.M.E.. -Amsterdam : North-Holland , 1977 . - x-612
Nouveau

Non-classical logics, model theory, and computability Ed. Arruda, A.I. ; Ed. Da Costa, N.C.A. ; Ed. Chuaqui, R.. -Amsterdam : North-Holland , 1977 . - xviii, 307
Nouveau

Model theory and applications Ed. Mangani, P.. -Roma : Edizioni Cremonese , 1975 . - 150
Nouveau

Sets, models and recursion theory Ed. Crossley, J.N.. -Amsterdam : North-Holland , 1967 . - 331
Nouveau

The Theory of models. Proceeding of the 1963 international symposium at Berkeley Ed. Addison, J. W. ; Ed. Henkin, Leon ; Ed. Tarski, Alfred. -Amsterdam : North-Holland , 1965 . - xv, 494 p. ; 23 cm
Nouveau

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Hirschfeldt, Denis R. ; Lange, Karen ; Shore, Richard A.. -Providence RI : American mathematical Society , 2017 . - v, 101 p. ; 26 cm
ISBN 9781470426576
https://www.ams.org/books/memo/year/2017/
Nouveau

Finite and algorithmic model theory Ed. Esparza, Javier ; Ed. Michaux, Christian ; Ed. Steinhorn, Charles. -Cambridge : Cambridge university Press , 2011 . - xi, 341 p. ; 23 cm
ISBN 9780521718202
Nouveau

Simplicial methods for operads and algebraic geometry Moerdijk, Ieke ; Toën, Bertrand. -Basel : Birkhäuser , 2010 . - ix, 186 p. ; 24 cm
ISBN 9783034800518
https://link-springer-com.scd-rproxy.u-strasbg.fr/book/10.1007/978-3-0348-0052-5
Nouveau

Stable domination and independence in algebraically closed valued fields Haskell, Deirdre ; Hrushovski, Ehud ; Macpherson, Dugald. -Cambridge : Cambridge university Press , 2008 . - xi, 182 p. ; 24 cm
ISBN 9780521889810
Nouveau

Model theory of fields Marker, David ; Messmer, Margit ; Pillay, Anand. -La Jolla CA : Association of Symbolic Logic , 2006 . - xi, 155 p. ; 24 cm
ISBN 9781568812816
Nouveau

Finite model theory Ebbinghaus, Heinz-Dieter ; Flum, Jörg. -Berlin : Springer , 2006 . - xi, 360 p. ; 24 cm
ISBN 9783540287872
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1439-7382
Nouveau

Handbook of algebra. Vol. 3 Ed. Hazewinkel, Michiel. -Amsterdam : North-Holland ; Elsevier , 2003 . - xxi, 1161 p. ; 25 cm
ISBN 9780444512642
Nouveau

Simple sur les ouvrages

Avancée sur les ouvrages

Recherche multi-critères

Simple sur les revues

Avancée sur les revues

Bibliothèques de mathématique et de l'IREM

Documents théorie des modèles | enregistrements trouvés : 55

Tits buildings and the model theory of groups Ed. Tent, Katrin. -Cambridge : Cambridge university Press , 2002 . - x, 298 p. ; 23 cm Nouveau

Model theory of groups and automorphism groups Evans, David M.. -Cambridge : Cambridge university Press , 1997 . - xvi, 212 p. ; 24 cm Nouveau

Logic and computer science Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer , 1990 . - 162 https://doi.org/10.1007/BFb0093921 Nouveau

Cabal seminar 81-85 : proceedings, Caltech-UCLA logic seminar 1981-85 Ed. Kechris, Alexander S. ; Ed. Martin, D. ; Ed. Steel, J.R.. -Berlin : Springer , 1988 . - 224 https://doi.org/10.1007/BFb0084966 Nouveau

Logic colloquium 84 Ed. Paris, J.B. ; Ed. Wilkie, Alex J. ; Ed. Wilmers, G.M.. -Amsterdam : North-Holland , 1986 . - x-377 Nouveau

Models and sets part 1 Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer , 1984 . - viii, 484 https://doi.org/10.1007/BFb0099377 Nouveau

Logic colloquium 76 Ed. Gandy, R.O. ; Ed. Hyland, J.M.E.. -Amsterdam : North-Holland , 1977 . - x-612 Nouveau

Non-classical logics, model theory, and computability Ed. Arruda, A.I. ; Ed. Da Costa, N.C.A. ; Ed. Chuaqui, R.. -Amsterdam : North-Holland , 1977 . - xviii, 307 Nouveau

Model theory and applications Ed. Mangani, P.. -Roma : Edizioni Cremonese , 1975 . - 150 Nouveau

Sets, models and recursion theory Ed. Crossley, J.N.. -Amsterdam : North-Holland , 1967 . - 331 Nouveau

The Theory of models. Proceeding of the 1963 international symposium at Berkeley Ed. Addison, J. W. ; Ed. Henkin, Leon ; Ed. Tarski, Alfred. -Amsterdam : North-Holland , 1965 . - xv, 494 p. ; 23 cm Nouveau

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Hirschfeldt, Denis R. ; Lange, Karen ; Shore, Richard A.. -Providence RI : American mathematical Society , 2017 . - v, 101 p. ; 26 cm ISBN 9781470426576 https://www.ams.org/books/memo/year/2017/ Nouveau

Finite and algorithmic model theory Ed. Esparza, Javier ; Ed. Michaux, Christian ; Ed. Steinhorn, Charles. -Cambridge : Cambridge university Press , 2011 . - xi, 341 p. ; 23 cm ISBN 9780521718202 Nouveau

Simplicial methods for operads and algebraic geometry Moerdijk, Ieke ; Toën, Bertrand. -Basel : Birkhäuser , 2010 . - ix, 186 p. ; 24 cm ISBN 9783034800518 https://link-springer-com.scd-rproxy.u-strasbg.fr/book/10.1007/978-3-0348-0052-5 Nouveau

Stable domination and independence in algebraically closed valued fields Haskell, Deirdre ; Hrushovski, Ehud ; Macpherson, Dugald. -Cambridge : Cambridge university Press , 2008 . - xi, 182 p. ; 24 cm ISBN 9780521889810 Nouveau

Model theory of fields Marker, David ; Messmer, Margit ; Pillay, Anand. -La Jolla CA : Association of Symbolic Logic , 2006 . - xi, 155 p. ; 24 cm ISBN 9781568812816 Nouveau

Finite model theory Ebbinghaus, Heinz-Dieter ; Flum, Jörg. -Berlin : Springer , 2006 . - xi, 360 p. ; 24 cm ISBN 9783540287872 https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1439-7382 Nouveau

Handbook of algebra. Vol. 3 Ed. Hazewinkel, Michiel. -Amsterdam : North-Holland ; Elsevier , 2003 . - xxi, 1161 p. ; 25 cm ISBN 9780444512642 Nouveau

Tits buildings and the model theory of groups Ed. Tent, Katrin. -Cambridge : Cambridge university Press , 2002 . - x, 298 p. ; 23 cm
Nouveau

Model theory of groups and automorphism groups Evans, David M.. -Cambridge : Cambridge university Press , 1997 . - xvi, 212 p. ; 24 cm
Nouveau

Logic and computer science Ed. Homer, S. ; Ed. Nerode, A. ; Ed. Platek, R.A. ; Ed. Sacks, Gerald E. ; Ed. Scedrov, Andre. -Berlin : Springer , 1990 . - 162
https://doi.org/10.1007/BFb0093921
Nouveau

Cabal seminar 81-85 : proceedings, Caltech-UCLA logic seminar 1981-85 Ed. Kechris, Alexander S. ; Ed. Martin, D. ; Ed. Steel, J.R.. -Berlin : Springer , 1988 . - 224
https://doi.org/10.1007/BFb0084966
Nouveau

Logic colloquium 84 Ed. Paris, J.B. ; Ed. Wilkie, Alex J. ; Ed. Wilmers, G.M.. -Amsterdam : North-Holland , 1986 . - x-377
Nouveau

Models and sets part 1 Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer , 1984 . - viii, 484
https://doi.org/10.1007/BFb0099377
Nouveau

Logic colloquium 76 Ed. Gandy, R.O. ; Ed. Hyland, J.M.E.. -Amsterdam : North-Holland , 1977 . - x-612
Nouveau

Non-classical logics, model theory, and computability Ed. Arruda, A.I. ; Ed. Da Costa, N.C.A. ; Ed. Chuaqui, R.. -Amsterdam : North-Holland , 1977 . - xviii, 307
Nouveau

Model theory and applications Ed. Mangani, P.. -Roma : Edizioni Cremonese , 1975 . - 150
Nouveau

Sets, models and recursion theory Ed. Crossley, J.N.. -Amsterdam : North-Holland , 1967 . - 331
Nouveau

The Theory of models. Proceeding of the 1963 international symposium at Berkeley Ed. Addison, J. W. ; Ed. Henkin, Leon ; Ed. Tarski, Alfred. -Amsterdam : North-Holland , 1965 . - xv, 494 p. ; 23 cm
Nouveau

Induction, bounding, weak combinatorial principles, and the homogeneous model theorem Hirschfeldt, Denis R. ; Lange, Karen ; Shore, Richard A.. -Providence RI : American mathematical Society , 2017 . - v, 101 p. ; 26 cm
ISBN 9781470426576
https://www.ams.org/books/memo/year/2017/
Nouveau

Finite and algorithmic model theory Ed. Esparza, Javier ; Ed. Michaux, Christian ; Ed. Steinhorn, Charles. -Cambridge : Cambridge university Press , 2011 . - xi, 341 p. ; 23 cm
ISBN 9780521718202
Nouveau

Simplicial methods for operads and algebraic geometry Moerdijk, Ieke ; Toën, Bertrand. -Basel : Birkhäuser , 2010 . - ix, 186 p. ; 24 cm
ISBN 9783034800518
https://link-springer-com.scd-rproxy.u-strasbg.fr/book/10.1007/978-3-0348-0052-5
Nouveau

Stable domination and independence in algebraically closed valued fields Haskell, Deirdre ; Hrushovski, Ehud ; Macpherson, Dugald. -Cambridge : Cambridge university Press , 2008 . - xi, 182 p. ; 24 cm
ISBN 9780521889810
Nouveau

Model theory of fields Marker, David ; Messmer, Margit ; Pillay, Anand. -La Jolla CA : Association of Symbolic Logic , 2006 . - xi, 155 p. ; 24 cm
ISBN 9781568812816
Nouveau

Finite model theory Ebbinghaus, Heinz-Dieter ; Flum, Jörg. -Berlin : Springer , 2006 . - xi, 360 p. ; 24 cm
ISBN 9783540287872
https://link-springer-com.scd-rproxy.u-strasbg.fr/openurl.asp?genre=journal&issn=1439-7382
Nouveau

Handbook of algebra. Vol. 3 Ed. Hazewinkel, Michiel. -Amsterdam : North-Holland ; Elsevier , 2003 . - xxi, 1161 p. ; 25 cm
ISBN 9780444512642
Nouveau