東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Model theory)
該当件数:43件
Model theory : an introduction / David Marker
New York : Springer , c2002. - (Graduate texts in mathematics ; 217)
図書
Classification theory and the number of non-isomorphic models / S. Shelah
Amsterdam : North-Holland Pub. Co. , 1978. - New York : sole distributors for the U.S.A. and Canada, Elsevier/North-Holland. - New York. - (Studies in logic and the foundations of mathematics ; v. 92)
A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat ; translated [from the French] by Moses Klein
New York : Springer , c2000. - (Universitext)
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
2nd rev. & enl. ed 1999. - Berlin : Springer , c2006. - (Springer monographs in mathematics)
Mathematical logic and model theory : a brief introduction / Alexander Prestel, Charles N. Delzell
: pbk. - London : Springer , c2011. - (Universitext)
Models and games / Jouko Väänänen
: hardback. - Cambridge, UK ; Tokyo : Cambridge University Press , 2011. - (Cambridge studies in advanced mathematics ; 132)
Model theory and applications
Providence, R.I. : American Mathematical Society , c1999. - (American Mathematical Society translations ; ser. 2, v. 195)
Model theory / Wilfrid Hodges
Cambridge : Cambridge Univ. Pr. , 1993. - New York. - (Encyclopedia of mathematics and its applications ; v. 42)
Continuous model theory / by Chen Chung Chang and H. Jerome Keisler
On demand ed. - Princeton : Princeton Univ. Pr. , 1985. - (Annals of mathematics studies ; 58)
An introduction to stability theory / by Anand Pillay
Oxford : Clarendon Pr. , 1983. - New York : Oxford Univ. Pr.. - (Oxford logic guides ; 8)
The monadic second order theory of all countable ordinals / J. Richard Büchi, Dirk Siefkes
Berlin : Springer , 1973. - New York. - (Lecture notes in mathematics ; 328 .). - (Decidable theories ; 28 .)
Model theory and topoi : a collection of lectures by various authors / edited by F. W. Lawvere, C. Maurer, G. C. Wraith
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in mathematics ; 445)
Stable groups / Bruno Poizat ; [translated from the French by Moses Gabriel Klein]
Providence, RI. : American Mathematical Society , c2001. - (Mathematical surveys and monographs ; v. 87)
Model theory in algebra, analysis and arithmetic : Cetraro, Italy 2012 / Lou van den Dries ... [et al.] ; editors, H. Dugald Macpherson, Carlo Toffalori
Berlin : Springer , c2014. - (Lecture notes in mathematics ; 2111 . CIME Foundation subseries)
Lectures on algebraic model theory / Bradd Hart, Matthew Valeriote, editors
Providence, R.I. : American Mathematical Society , c2002. - (Fields Institute monographs ; 15)
Categoricity / John T. Baldwin
Providence, R.I. : American Mathematical Society , 2009. - (University lecture series ; v. 50)
Simple groups of finite Morley rank / Tuna Altinel, Alexandre V. Borovik, Gregory Cherlin
Providence, R.I. : American Mathematical Society , c2008. - (Mathematical surveys and monographs ; v. 145)
Beginning model theory : the completeness theorem and some consequences / by Jane Bridge
Oxford, [Eng.] : Clarendon , 1977. - (Oxford logic guides)
Model theory and modules / Mike Prest
Cambridge : Cambridge Univ. Pr. , 1988. - (London Mathematical Society lecture note series ; 130)
Logic and algebra / edited by Yi Zhang ; with a preface by Oleg Belegradek
Providence, R.I. : American Mathematical Society , c2002. - (Contemporary mathematics ; 302)
Forcing, arithmetic, division rings / Joram Hirschfeld, William H. Wheeler
Berlin : Springer-Verlag , 1975. - New York. - (Lecture notes in mathematics ; 454)
Algebraic systems / A. I. Malʹcev ; translated from the Russian by B. D. Seckler and A. P. Doohovskoy
Berlin : Springer-Verlag , 1973. - New York. - (Die Grundlehren der mathematischen Wissenschaften ; Bd. 192)
Model theory for modal logic : Kripke models for modal predicate calculi / Kenneth A. Bowen
Dordrecht, Holland : D. Reidel , c1979. - (Synthese library ; v. 127)
O-minimality and diophantine geometry / edited by G.O. Jones, A.J. Wilkie
: pbk. - Cambridge : Cambridge University Press , 2015. - (London Mathematical Society lecture note series ; 421)
Model theory, algebra, and geometry / edited by Deirdre Haskell, Anand Pillay, Charles Steinhorn
: hbk. - Cambridge : Cambridge University Press , 2000. - (Mathematical Sciences Research Institute publications ; 39)
Uncountably categorical theories / Boris Zilber
Providence, R.I. : American Mathematical Society , c1993. - (Translations of mathematical monographs ; 117)
The reconstruction of trees from their automorphism groups / Matatyahu Rubin
Providence, RI : American Mathematical Society , c1993. - (Contemporary mathematics ; v. 151)
Accessible categories : the foundations of categorical model theory / Michael Makkai, Robert Paré
Providence, R.I. : American Mathematical Society , c1989. - (Contemporary mathematics ; 104)
Stable groups / Frank O. Wagner
Cambridge : Cambridge Univ. Pr. , 1997. - New York. - (London Mathematical Society lecture note series ; 240)
Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 / edited by R. Ferro ... [et al.]
Amsterdam : North-Holland , 1989. - Tokyo. - (Studies in logic and the foundations of mathematics ; v. 127)
Boolean-valued models and independence proofs in set theory / J.L. Bell
2nd ed. - Oxford [Oxfordshire] : Clarendon Press , 1985. - (Oxford logic guides ; 12)
Model theory of groups and automorphism groups : Blaubeuren, August 1995 / edited by David M. Evans
Cambridge : Cambridge Univ. Pr. , 1997. - New York. - (London Mathematical Society lecture note series ; 244)
Descriptive complexity and finite models : proceedings of a DIMACS workshop, January 14-17, 1996, Princeton University / Neil Immerman, Phokion G. Kolaitis, editors
[Providence, R.I.] : American Mathematical Society , c1997. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 31)
Around classification theory of models / Saharon Shelah
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1986. - (Lecture notes in mathematics ; 1182)
Studies in modeltheoretic semantics / Alice G.B. ter Meulen (ed.)
: pbk. - Dordrecht, Holland ; Cinnaminson, U.S.A. : Foris Publications , 1983. - (Groningen-Amsterdam studies in semantics ; 1)
Motivic integration and its interactions with model theory and non-Archimedean geometry / edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
v. 1 : pbk,v. 2 : pbk. - Cambridge, UK ; Tokyo : Cambridge University Press , 2011. - (London Mathematical Society lecture note series ; 383-384)
Groups and model theory : in honor of Rüdiger Göbel's 70th birthday, May 30-June 3, 2011, conference center "Die Wolfsburg", Mülheim an der Ruhr, Germany / Lutz Strüngmann ... [et al.], editors
Providence, R.I. : American Mathematical Society , c2012. - (Contemporary mathematics ; 576)
Model theory and algebra : a memorial tribute to Abraham Robinson / edited by D.H. Saracino and V.B. Weispfenning
U.S.,Germany. - Berlin ; New York : Springer-Verlag , 1975. - (Lecture notes in mathematics ; 498)
Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai / Bradd Hart ... [et al.], editors
: pbk. - Providence, R.I. : American Mathematical Society , c2011. - (CRM proceedings & lecture notes ; v. 53)
The family's construction of reality / David Reiss
: cloth,: paper. - Cambridge, Mass. : Harvard University Press , 1981
The pragmatics and semiotics of standard languages / Albert M. Sweet
University Park : Pennsylvania State Univ. Pr. , c1988
Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierutowice, Poland, 1975 / edited by W. Marek, M. Srebrny, and A. Zarach
Berlin : Springer-Verlag , 1976. - New York. - (Lecture notes in mathematics ; 537)
Ordered algebraic structures and related topics : International Conference on Ordered Algebraic Structures and Related Topics, October 12-16, 2015, Centre International de Rencontres Mathématiques (CIRM), Luminy, France / Fabrizio Broglia ... [et al.], editors
Providence, R.I. : American Mathematical Society , c2017. - (Contemporary mathematics ; 697)