Models and ultraproducts

このページのQRコード

種類:

図書

責任表示:

an introduction by J. L. Bell and A. B. Slomson

出版情報:

Amsterdam : North-Holland Publishing Co., 1971

著者名:

ISBN:

9780720420548 [0720420547]

注記:

Bibliography: p. [309]-315
Includes index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Model theory Chang, Chen Chung, 1927-, Keisler, H. Jerome, 1936- North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Publishing Company, Inc.	7 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer
2 図書 Model theory Hodges, Wilfrid Cambridge University Press	8 図書 Model theoretic algebra : selected topics Cherlin, Greg, 1948- Springer-Verlag
3 図書 Finite model theory Ebbinghaus, Heinz-Dieter, 1939-, Flum, Jörg Springer	9 図書 Introduction to model theory and to the metamathematics of algebra Robinson, Abraham, 1918-1974 North-Holland Pub. Co.
4 図書 Basic model theory Doets, Kees CLSI Publications, FoLLI	10 図書 Classification theory and the number of non-isomorphic models Shelah, Saharon, 1945- North-Holland, Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
5 図書 Topological model theory Flum, Jörg, Ziegler, Martin Springer-Verlag	11 図書 Model theory and topoi : a collection of lectures by various authors Lawvere, F. W, Maurer, Christian, Wraith, G. C Springer-Verlag
6 図書 Model theory of fields Marker, D. (David), 1958-, Messmer, M. (Margit), 1964-, Pillay, Anand Springer-Verlag	12 図書 Bounded variable logics and counting : a study in finite models Otto, Martin, 1961- Springer