close
1.

図書
図書
1. Model theory and applications
出版情報: 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
2.

図書
図書
2. Stable groups (: pbk)
Frank O. Wagner
出版情報: Cambridge ; New York : Cambridge University Press, 1997  ix, 309 p. ; 23 cm
シリーズ名: London Mathematical Society lecture note series ; 240
所蔵情報: loading…
3.

図書
図書
3. Henkin-Keisler models
by George Weaver
出版情報: Dordrecht ; Boston : Kluwer Academic, c1997  xii, 253 p. ; 25 cm
シリーズ名: Mathematics and its applications ; 392
所蔵情報: loading…
4.

図書
図書
4. A shorter model theory
Wilfrid Hodges
出版情報: Cambridge : Cambridge University Press, 1997  x, 310 p. ; 23 cm
所蔵情報: loading…
5.

図書
図書
5. Models of Peano arithmetic
Richard Kaye
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1991  x, 292 p. ; 25 cm
シリーズ名: Oxford logic guides ; 15
所蔵情報: loading…
目次情報: 続きを見る
The Standard Model / 1：
Discretely Ordered Rings / 2：
G""odel Incompleteness / 3：
The Axioms of Peano Arithmetic / 4：
Some Number Theory in Peano Arithmetic / 5：
Models of Peano Arithmetic / 6：
Collection / 7：
Prime Models / 8：
Satisfaction / 9：
Subsystems of Peano Arithmetic / 10：
Saturation / 11：
Initial Segments / 12：
The Standard System / 13：
Indicators / 14：
Recursive Saturation / 15：
Suggestions for Further Reading / 16：
The Standard Model / 1：
Discretely Ordered Rings / 2：
G""odel Incompleteness / 3：
6.

図書
図書
6. Model theory. 3rd ed
C.C. Chang and H.J. Keisler
出版情報: Amsterdam ; Tokyo : North-Holland , New York, NY : Sole distributors for the U.S.A. and Canada, Elsevier Science Publishing Company, Inc., 1990  xvi, 650 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 73
所蔵情報: loading…
目次情報: 続きを見る
Introduction
What is Model Theory?
Model Theory for Sentential Logic
Languages, Models and Satisfaction
Theories and Examples of Theories
Elimination of Quantifiers
Models Constructed from Constants
Completeness and Compactness
Refinements of the Method
Omitting Types and Interpolation Theorems
Countable Models of Complete Theories
Recursively Saturated Models
Lindstrwm's Characterization of First Order Logic
Further Model-Theoretic Constructions
Elementary Extensions and Elementary Chains
Applications of Elementary Chains
Skolem Functions and Indiscernibles
Some Examples
Model Completeness
Ultraproducts
The Fundamental Theorem
Measurable Cardinals
Regular Ultrapowers
Nonstandard Universes
Saturated and Special Models
Preservation Theorems
Applications of Special Models to the Theory of Definability
Applications to Field Theory
Application to Boolean Algebras
More About Ultraproducts and Generalizations
Ultraproducts Which are Saturated
Direct Products, Reduced Products, and Horn Sentences
Limit Ultrapowers and Complete Extensions
Iterated Ultrapowers
Selected Topics
Categoricity in Power
An Extension of Ramsey's Theorem and Applications
Some Two-Cardinal Theorems
Models of Large Cardinality
Large Cardinals and the Constructible Universe
Appendices: Set Theory
Open Problems in Classical Model Theory
Historical Notes
References
Additional References
Introduction
What is Model Theory?
Model Theory for Sentential Logic
7.

図書
図書
7. Classification theory and the number of non-isomorphic models. Rev. ed
S. Shelah
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990  xxxiv, 705 p. ; 24 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 92
所蔵情報: loading…
目次情報: 続きを見る
Preliminaries
Ranks and Incomplete Types
Global Theory
Prime Models
More on Types and Saturated Models
Saturation of Ultraproducts
Construction of Models
The Number of Non-Isomorphic Models in Pseudo-Elementary Classes
Categoricity and the Number of Models in Elementary Classes
Classification for F a No -Saturated Models
The Decomposition Theorem
The Main Gap For Countable Theories
For Thomas the Doubter
Appendix: Filters, Stationary Sets and Families of Sets
Partition Theorems
Various Results
Historical Remarks
References
Preliminaries
Ranks and Incomplete Types
Global Theory
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼