close
1.

図書

図書
Bruno Poizat ; [translated from the French by Moses Gabriel Klein]
出版情報: Providence, RI. : American Mathematical Society, c2001  xiii, 129 p. ; 27 cm
シリーズ名: Mathematical surveys and monographs ; v. 87
所蔵情報: loading…
2.

図書

図書
edited by Deirdre Haskell, Anand Pillay, Charles Steinhorn
出版情報: Cambridge : Cambridge University Press, 2000  vii, 227 p. ; 25 cm
シリーズ名: Mathematical Sciences Research Institute publications ; 39
所蔵情報: loading…
目次情報: 続きを見る
Introduction to model theory David Marker / 1:
Some classical model theory of fields Lou van den Dries / 2:
Introduction to the model theory of differential fields David Marker / 3:
Notes on o-minimality and variations Dugald Macpherson / 4:
A survey on the model theory of difference fields Zoe Chatzidakis / 5:
Dimension theory Bradd Hart / 6:
Model theory and the Mordell-Lang conjecture Barry Mazur / 7:
Semialgebraic and subanalytic geometry Edward Bierstone / 8:
Model theory and geometry Jan Denef / 9:
Introduction to model theory David Marker / 1:
Some classical model theory of fields Lou van den Dries / 2:
Introduction to the model theory of differential fields David Marker / 3:
3.

図書

図書
出版情報: Providence, R.I. : American Mathematical Society, c1999  ix, 346 p. ; 27 cm
シリーズ名: American Mathematical Society translations ; ser. 2, v. 195
所蔵情報: loading…
目次情報: 続きを見る
Model theory of unitriangular groups / O. V. Belegradek
Model theory of locally free algebras
Model theory based on the notion of truth in the constructive sense / A. A. Voronkov
Hereditarily transitive groups and quasi-Urbanik structures / B. I. Zilber
The number of homogeneous models of a complete theory / K. Zh. Kudaibergenov
The stability theory of polygons / T. G. Mustafin
Horn theories with nonmaximal spectrum / E. A. Palyutin ; S. S. Starchenko
The number of models of complete theories of unars / A. N. Ryaskin
Finitely axiomatizable theories and similarity relations / M. G. Peretyatkin
Model theory of unitriangular groups / O. V. Belegradek
Model theory of locally free algebras
Model theory based on the notion of truth in the constructive sense / A. A. Voronkov
4.

図書

図書
Kenneth A. Bowen
出版情報: Dordrecht, Holland : D. Reidel Pub. Co., c1979  x, 127 p. ; 23 cm
シリーズ名: Synthese library ; v. 127
所蔵情報: loading…
5.

図書

図書
M.C. Fitting
出版情報: Amsterdam : North-Holland Pub. Co., 1969  191 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
6.

図書

図書
A.I. Malʹcev ; translated from the Russian by B.D. Seckler and A.P. Doohovskoy
出版情報: Berlin ; New York : Springer-Verlag, 1973  xii, 317 p. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 192
所蔵情報: loading…
7.

図書

図書
[By] H. Jerome Keisler
出版情報: Amsterdam : North-Holland Pub. Co., 1971  x, 208 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 62
所蔵情報: loading…
8.

図書

図書
by J.L. Bell
出版情報: Oxford : Clarendon Press, 1977  xviii, 126 p. ; 24 cm
シリーズ名: Oxford logic guides
所蔵情報: loading…
9.

図書

図書
by J.L. Bell and A.B. Slomson
出版情報: Amsterdam : North-Holland Pub. Co., 1969  ix, 322 p. ; 23 cm
所蔵情報: loading…
10.

図書

図書
J.L. Bell
出版情報: Oxford [Oxfordshire] : Clarendon Press, 1985  xx, 165 p. ; 24 cm
シリーズ名: Oxford logic guides ; 12
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼