3 résultat(s) recherche sur le mot-clé 'stability theory'

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

A course in mathematical logic for mathematicians / Yuri Ivanovich Manin

Public ISBD Titre : A course in mathematical logic for mathematicians Type de document : texte imprimé Auteurs : Yuri Ivanovich Manin, Auteur Mention d'édition : 2nd ed. Editeur : New York, NY : Springer Année de publication : 2010 Collection : Graduate Texts in Mathematics num. 53 Importance : xvii - 384 p. Format : 25 cm ISBN/ISSN/EAN : 978-1-4419-0614-4 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:03BXX General logic:03B10 Classical first-order logic Mots-clés : mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness Index. décimale : 03C Monographie A course in mathematical logic for mathematicians [texte imprimé] / Yuri Ivanovich Manin, Auteur  . -  2nd ed. . - New York, NY : Springer, 2010 . - xvii - 384 p. ; 25 cm. - (Graduate Texts in Mathematics; 53) . ISBN : 978-1-4419-0614-4 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:03BXX General logic:03B10 Classical first-order logic Mots-clés : mathematical logic  textbook  provability  truth  deducibility  continuum problem  forcing  completeness  incompleteness  constructible sets  computability  recursive functions  Church's thesis  Diophantine sets  algorithmic undecidability  recursive groups  constructive universe  model theory  classification theory  stability theory  compactness Index. décimale : 03C Monographie

Exemplaires

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

Differential equations, dynamical systems and linear algebra / Morris W. Hirsch

Public ISBD Titre : Differential equations, dynamical systems and linear algebra Type de document : texte imprimé Auteurs : Morris W. Hirsch ; Smale, S. Editeur : Academic Press, Inc. Année de publication : 1974 Collection : PURE AND APPLIED MATHEMATICS num. 60 Importance : xi - 358 p. ISBN/ISSN/EAN : 978-0-12-349550-1 Langues : Anglais Mots-clés : stability theory  contact geometry  symplectic geometry  finite-dimensional hamiltonian systems  hamilton's equations  special solutions of ode  qualitative theory Index. décimale : 34C Monographie Differential equations, dynamical systems and linear algebra [texte imprimé] / Morris W. Hirsch ; Smale, S. . - [S.l.] : Academic Press, Inc., 1974 . - xi - 358 p.. - (PURE AND APPLIED MATHEMATICS; 60) . ISBN : 978-0-12-349550-1 Langues : Anglais Mots-clés : stability theory  contact geometry  symplectic geometry  finite-dimensional hamiltonian systems  hamilton's equations  special solutions of ode  qualitative theory Index. décimale : 34C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
910	34C111	imprimé / autre	CRDM	34/EQUATIONS DIFFERENTIELLES ORDINAIRES	Disponible
12081	34C111	imprimé / autre	CRDM	34/EQUATIONS DIFFERENTIELLES ORDINAIRES	Disponible
12348	34C111	imprimé / autre	CRDM	34/EQUATIONS DIFFERENTIELLES ORDINAIRES	Exclu du prêt