Search records | 東京工業大学附属図書館蔵書検索

目次情報: 続きを見る

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

目次情報: 続きを見る

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：