Documents liés : [55 document(s)]

Documents (Mots clés)

• [MathOuvrage] 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/
  
• [MathOuvrage] Non-archimedean tame topology and stably dominated types / Hrushovski, Ehud ; Loeser, François. -Princeton NJ : Princeton university Press, 2016. - vii, 216 p. ; 26 cm
  ISBN 9780691161686
  https://search-ebscohost-com.insmi.bib.cnrs.fr/login.aspx?direct=true&db=asn&jid=K535&lang=fr&site=ehost-live
  
• [MathOuvrage] 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
  
• [MathOuvrage] 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
  
• [MathOuvrage] 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
  
• [MathOuvrage] 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
  
• [MathOuvrage] Handbook of algebra. Vol. 3 / Ed. Hazewinkel, Michiel. -Amsterdam : North-Holland;Elsevier, 2003. - xxi, 1161 p. ; 25 cm
  ISBN 9780444512642
  
• [MathOuvrage] Model theory of stochastic processes / Fajardo, Sergio ; Keisler, H. Jerome. -Natick MA : Association for Symbolic Logic;AK Peters, 2002. - xii, 136 p. ; 24 cm
  ISBN 9781568811727
  
• [MathOuvrage] Logique mathématique. T. 2 / Cori, René ; Lascar, Daniel ; Préf. Krivine, Jean-Louis. -Paris : Dunod, 2003. - xv, 347 p. ; 24 cm
  ISBN 9782100054534
  
• [MathOuvrage] Lectures in logic and set theory. Vol. 1 / Tourlakis, George. -Cambridge : Cambridge university Press, 2003. - xi, 328 p. ; 24 cm
  
• [MathOuvrage] Finite structures with few types / Cherlin, Gregory L. ; Hrushovski, Ehud. -Princeton NJ : Princeton university Press, 2003. - vi, 193 p. ; 24 cm
  
• [MathOuvrage] Set theory / Jech, Thomas. -Berlin : Springer, 2003. - xiii, 769 p. ; 24 cm
  ISBN 9783540440857
  https://link.springer.com/bookseries/3733
  
• [MathOuvrage] Boolean valued analysis / Kusraev, A. G. ; Trad. Kutateladze, S. S.. -Boston MA, Dordrecht, London : Kluwer Academic Publishers, 1999. - xii, 322 p. ; 25 cm
  https://link.springer.com/bookseries/6249
  
• [MathCongrès] Differential algebra and related topics / Ed. Guo, Li ; Ed. Cassidy, Phyllis J. ; Ed. Keigher, William F. ; Ed. Sit, William Y.. -River Edge NJ, Singapore : World Scientific, 2002. - xiii, 305 p. ; 23 cm
  
• [MathCongrès] Tits buildings and the model theory of groups / Ed. Tent, Katrin. -Cambridge : Cambridge university Press, 2002. - x, 298 p. ; 23 cm
  
• [MathOuvrage] Selected works of Ellis Kolchin with commentary / Kolchin, Ellis ; Ed. Bass, Hyman ; Ed. Buium, Alexandru ; Ed. Cassidy, Phyllis J.. -Providence RI : American mathematical Society, 1999. - xiii, 639 p. ; 26 cm
  
• [MathOuvrage] Model theory, algebra, and geometry / Ed. Haskell, Deirdre ; Ed. Pillay, Anand ; Ed. Steinhorn, Charles. -Cambridge : Cambridge university Press, 2000. - vii, 227 p. ; 24 cm
  http://library.msri.org/books/index.html
  
• [MathOuvrage] A Course in model theory / Poizat, Bruno ; Trad. Klein, Moses. -New York NY : Springer, 2000. - xxxi, 443 p. ; 24 cm
  https://link.springer.com/openurl.asp?genre=journal&issn=2191-6675
  
• [MathOuvrage] Subsystems of second order arithmetic / Simpson, Stephen G.. -Berlin, Heidelberg, New York NY : Springer, 1999. - xiv, 444 p. ; 25 cm
  ISBN 9783540648826
  
• [MathOuvrage] Model theory and applications / Ed. Ershov, Yuri L. ; Belegradek, O.V. ; Voronkov, A. A. ; Zil'ber, B. I. ; Kudaibergenov, K. Zh. ; Mustafin, T. G. ; Palyutin, E. A. ; Starchenko, Sergei S. ; Ryaskin, A. N. ; Peretyat'Kin, M.G.. -Providence RI : American mathematical Society, 1999. - ix, 346 p. ; 26 cm
  
• [MathOuvrage] Set theory / Jech, Thomas. -Berlin, Heidelberg, New York NY : Springer, 1997. - xiv, 634 p. ; 24 cm
  https://link.springer.com/bookseries/634
  
• [MathOuvrage] Model theory and algebraic geometry / Ed. Bouscaren, Elisabeth. -Berlin, Heidelberg, New York NY : Springer, 1998. - xv, 211 p. ; 24 cm
  https://link.springer.com/openurl.asp?genre=journal&issn=0075-8434
  
• [MathCongrès] 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
  
• [MathOuvrage] Geometry of subanalytic and semialgebraic sets / Shiota, Masahiro. -Basel, Berlin, Boston MA : Birkhäuser, 1997. - xii, 431 p. ; 24 cm
  https://link.springer.com/book/10.1007/978-1-4612-2008-4
  
• [MathCongrès] Model theory of groups and automorphism groups / Evans, David M.. -Cambridge : Cambridge university Press, 1997. - xvi, 212 p. ; 24 cm
  
• [MathOuvrage] The Reconstruction of trees from their automorphism groups / Rubin, Matatyahu. -Providence RI : American mathematical Society, 1993. - viii, 274 p. ; 25 cm
  
• [MathOuvrage] Uncountably categorical theories / Zilber, Boris. -Providence RI : American mathematical Society, 1993. - vi, 122 p. ; 26 cm
  
• [MathOuvrage] Model theory / Hodges, Wilfrid. -Cambridge : Cambridge university Press, 1993. - xiii, 772 p. ; 24 cm
  
• [MathOuvrage] Intuitionistic logic model theory and forcing / Fitting, Melvin Chris. -Amsterdam, London : North-Holland, 1969. - 191 p. ; 23 cm
  
• [MathOuvrage] Corps et modèles / Sinaceur, Hourya. -Paris : Librairie Philosophique J. Vrin, 1991. - 496 p. ; 21 cm
  
• [MathCongrès] Sets, models and recursion theory / Ed. Crossley, J.N.. -Amsterdam : North-Holland, 1967. - 331
  
• [MathCongrès] Logic colloquium 76 / Ed. Gandy, R.O. ; Ed. Hyland, J.M.E.. -Amsterdam : North-Holland, 1977. - x-612
  
• [MathCongrès] 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
  
• [MathCongrès] Model theory and applications / Ed. Mangani, P.. -Roma : Edizioni Cremonese, 1975. - 150
  
• [MathOuvrage] Mathematical logic / Lightstone, A. H. ; Ed. Enderton, H.B.. -New York : Plenum Press, 1978. - xiii, 338
  https://link.springer.com/bookseries/6268
  
• [MathCongrès] Cabal seminar 81-85 / Ed. Kechris, Alexander S. ; Ed. Martin, D. ; Ed. Steel, J.R.. -Berlin : Springer, 1988. - 224
  https://doi.org/10.1007/BFb0084966
  
• [MathOuvrage] Model theory and modules / Prest, Mike. -Cambridge : Cambridge university Press, 1988. - xviii, 380
  
• [MathOuvrage] Classification theory and the number of non-isomorphic models / Shelah, Saharon. -Amsterdam : North-Holland, 1978. - xvi, 544 p.
  
• [MathOuvrage] Multiple forcing / Jech, Thomas J.. -Cambridge : Cambridge university Press, 1986. - viii, 136
  
• [MathCongrès] Logic colloquium 84 / Ed. Paris, J.B. ; Ed. Wilkie, Alex J. ; Ed. Wilmers, G.M.. -Amsterdam : North-Holland, 1986. - x-377
  
• [MathOuvrage] Forcing, arithmetic, division rings / Hirschfeld, Joram ; Wheeler, William H.. -Berlin : Springer, 1975. - 266
  https://doi.org/10.1007/BFb0064082
  
• [MathOuvrage] Stabilite structurelle et morphogenese / Thom, René. -Reading MA : Benjamin, 1972. - 362 p.
  
• [MathOuvrage] Continuous model theory / Chang, Chen Chung ; Keisler, H. Jerome. -Princeton NJ : Princeton university Press, 1966. - 165
  
• [MathOuvrage] Factorization and model theory for contraction operators with unitary part / Ball, Joseph A.. -Providence RI : American mathematical Society, 1978. - iv, 68 p.
  
• [MathOuvrage] Stabilité structurelle et morphogénèse / Thom, René. -Paris : InterEditions, 1977. - xx-351
  
• [MathOuvrage] Lectures on formally real fields / Prestel, Alexander. -Berlin : Springer, 1984. - xii, 125
  https://doi.org/10.1007/BFb0101548
  
• [MathOuvrage] Classification theory and the number of non-isomorphic models / Shelah, Saharon. -Amsterdam : North-Holland, 1990. - xxxiv, 705 p. ; 23 cm
  
• [MathOuvrage] Model theory / Chang, Chen Chung ; Keisler, H. Jerome. -Amsterdam : North-Holland, 1990. - xvi, 650
  ISBN 9780444880543
  
• [MathOuvrage] Model theoretic algebra with particular emphasis on fields, rings, modules / Jensen, Christian U. ; Lenzing, Helmut. -New York : Gordon and Breach, 1989. - xiii, 443
  
• [MathCongrès] 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
  
• [MathOuvrage] Oligomorphic permutation groups / Cameron, Peter J.. -Cambridge : Cambridge university Press, 1990. - viii, 160
  
• [MathOuvrage] An introduction to model theory / Mijajlovic, Zarko. -Novi Sad, University of Novi Sad : Institute of Mathematics, 1987. - 165
  
• [MathOuvrage] Accessible categories / Makkai, Michael ; Paré, Robert. -Providence RI : American mathematical Society, 1989. - viii, 176 p. ; 26 cm
  
• [MathCongrès] Models and sets part 1 / Ed. Mueller, Gert H. ; Ed. Richter, Michael M.. -Berlin : Springer, 1984. - viii, 484
  https://doi.org/10.1007/BFb0099377
  
• [MathOuvrage] 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