18 résultat(s) recherche sur le mot-clé 'model theory'

Model theory / Marker, David

Public ISBD Titre : Model theory : an introduction Type de document : texte imprimé Auteurs : Marker, David Editeur : New York, NY : Springer Année de publication : 2002 Collection : Graduate Texts in Mathematics num. 217 Importance : viii - 342 p. ISBN/ISSN/EAN : 978-0-387-98760-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory Mots-clés : theories  sets of sensences  mathematical structures  model theory Index. décimale : 03C Monographie Model theory : an introduction [texte imprimé] / Marker, David . - New York, NY : Springer, 2002 . - viii - 342 p. . - (Graduate Texts in Mathematics; 217) . ISBN : 978-0-387-98760-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory Mots-clés : theories  sets of sensences  mathematical structures  model theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
16745	03C165	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Model theory and algebra / Robinson, A.

Public ISBD Titre : Model theory and algebra : a memorial tribute to Abraham Robinson Type de document : texte imprimé Auteurs : Robinson, A. ; Saracino, D. H. ; Weispfenning, Volker, Editeur scientifique Editeur : Springer-Verlag Année de publication : 1975 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 498 Importance : 463 p. ISBN/ISSN/EAN : 978-0-387-07538-9 Langues : Anglais Mots-clés : robinson abraham  tribute  algebra  model theory Index. décimale : LNM Model theory and algebra : a memorial tribute to Abraham Robinson [texte imprimé] / Robinson, A. ; Saracino, D. H. ; Weispfenning, Volker, Editeur scientifique . - [S.l.] : Springer-Verlag, 1975 . - 463 p.. - (Lecture Notes in Mathematics, ISSN 0075-8434; 498) . ISBN : 978-0-387-07538-9 Langues : Anglais Mots-clés : robinson abraham  tribute  algebra  model theory Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
7185	LNM/498	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

Model theory of algebra and arthmetic / Wilkie, A. J. Eds. ; Wierzejews, J. ; Pacholski, L.

Public ISBD Titre : Model theory of algebra and arthmetic Type de document : texte imprimé Auteurs : Wilkie, A. J. Eds. ; Wierzejews, J. ; Pacholski, L. Editeur : Springer-Verlag Année de publication : 1980 Collection : Lecture Notes in Mathematics, ISSN 0075-8434 num. 834 Importance : VI,410 ISBN/ISSN/EAN : 978-0-387-10269-6 Langues : Anglais Mots-clés : model theory Index. décimale : LNM Model theory of algebra and arthmetic [texte imprimé] / Wilkie, A. J. Eds. ; Wierzejews, J. ; Pacholski, L. . - [S.l.] : Springer-Verlag, 1980 . - VI,410. - (Lecture Notes in Mathematics, ISSN 0075-8434; 834) . ISBN : 978-0-387-10269-6 Langues : Anglais Mots-clés : model theory Index. décimale : LNM

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
6166	LNM/834	imprimé / autre	CRDM	LNM/LECTURES NOTES IN MATHEMATICS	Disponible

a Course in Model Theory / Poizat, B.

Public ISBD Titre : a Course in Model Theory : an Introduction to Contemporary Mathematical Logic Type de document : texte imprimé Auteurs : Poizat, B. ; Klein, M. Trad. Editeur : London : Springer Année de publication : 2000 Collection : Universitext ISBN/ISSN/EAN : 978-0-387-98655-5 Langues : Anglais Langues originales : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C07 Basic properties of first-order languages and structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts Mots-clés : l?heim-skolem-tarski theorems  elementary extensions  first-order language  local isomorphisms between structures  stability theory  model theory Index. décimale : 03C Monographie a Course in Model Theory : an Introduction to Contemporary Mathematical Logic [texte imprimé] / Poizat, B. ; Klein, M. Trad. . - London : Springer, 2000. - (Universitext) . ISBN : 978-0-387-98655-5 Langues : Anglais Langues originales : Français Catégories : 03-XX Mathematical logic and foundations:03-01 Instructional exposition (textbooks, tutorial papers, etc.) 03-XX Mathematical logic and foundations:03-02 Research exposition (monographs, survey articles) 03-XX Mathematical logic and foundations:03CXX Model theory:03C07 Basic properties of first-order languages and structures 03-XX Mathematical logic and foundations:03CXX Model theory:03C45 Classification theory, stability and related concepts Mots-clés : l?heim-skolem-tarski theorems  elementary extensions  first-order language  local isomorphisms between structures  stability theory  model theory Index. décimale : 03C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13857	03C03	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Motivic integration and its interactions with model theory and non-Archimedean geometry. Vol. I / Raf Cluckers ; Johannes Nicaise ; Sebag, Julien

Public ISBD Titre : Motivic integration and its interactions with model theory and non-Archimedean geometry. Vol. I Type de document : texte imprimé Auteurs : Raf Cluckers ; Johannes Nicaise ; Sebag, Julien, Editeur scientifique Editeur : Cambridge University Press Année de publication : 2011 Collection : London Mathematical Society Lecture Note Series. num. 383 Importance : xi - 334 p. Format : 23 cm ISBN/ISSN/EAN : 978-0-521-14976-1 Langues : Anglais Catégories : 14-XX Algebraic geometry:14-06 Proceedings, conferences, collections, etc. 14-XX Algebraic geometry:14CXX Cycles and subschemes:14C15 Chow groups and rings 14-XX Algebraic geometry:14GXX Arithmetic problems. Diophantine geometry :14G22 Rigid analytic geometry Mots-clés : algebraic geometry  model theory  valued fields  analytic spaces Index. décimale : 14B Publication collective Motivic integration and its interactions with model theory and non-Archimedean geometry. Vol. I [texte imprimé] / Raf Cluckers ; Johannes Nicaise ; Sebag, Julien, Editeur scientifique . - [S.l.] : Cambridge University Press, 2011 . - xi - 334 p. ; 23 cm. - (London Mathematical Society Lecture Note Series.; 383) . ISBN : 978-0-521-14976-1 Langues : Anglais Catégories : 14-XX Algebraic geometry:14-06 Proceedings, conferences, collections, etc. 14-XX Algebraic geometry:14CXX Cycles and subschemes:14C15 Chow groups and rings 14-XX Algebraic geometry:14GXX Arithmetic problems. Diophantine geometry :14G22 Rigid analytic geometry Mots-clés : algebraic geometry  model theory  valued fields  analytic spaces Index. décimale : 14B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20894	ERC/14B137	imprimé / autre	CRDM	ERC	Disponible

Motivic integration and its interactions with model theory and non-Archimedean geometry. Vol. II / Raf Cluckers ; Johannes Nicaise ; Sebag, Julien

Permalink

Saturated model theory / Sacks, Gerald E.

Permalink

A shorter model theory / Wilfrid Hodges

Permalink

the Metamathematics of algebraic systems / Mal'cev, Anatolii I.

Permalink

Set theory and the continuum hypothesis / Cohen, Paul J.

Permalink

Sheaves in geometry and logic / Saunders Mac Lane

Permalink

A course in mathematical logic for mathematicians / Yuri Ivanovich Manin

Permalink

Linear orderings / Rosenstein, Joseph G.

Permalink

Logic and structure / van Dalen, Dirk

Permalink

Mathematical logic / Joseph R. Shoenfield

Permalink

Mathematical methods in linguistics / Partee, Barbara H.

Permalink

Metamathematics of first-order arithmetic / Hajek, Petr

Permalink

Models and ultraproducts / John Lane Bell

Permalink