Ebbinghaus Heinz-Dieter and Jörg Flum. Finite model theory. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1995, xv + 327 pp [Book Review]

Journal of Symbolic Logic 61 (3):1049-1050 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275800

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Heinz-Dieter Ebbinghaus, Jorg Flum, Finite Model Theory. [REVIEW]G. L. McColm - 1996 - Journal of Symbolic Logic 61 (3):1049-1050.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2001 - Studia Logica 69 (3):449-449.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Torg Flum - 1997 - Studia Logica 58 (2):332-335.
Marker David, Introduction to the model theory of fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 1–37.Marker David. Model theory of differential fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 38–113.Pillay Anand. Differential algebraic groups and the number of countable differentially closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 114–134.Messmer Margit. Some model theory of separably closed fields. Model theory of fields, Lecture notes in logic, no. 5, Springer, Berlin, Heidelberg, New York, etc., 1996, pp. 135–152. [REVIEW]Zoé Chatzidakis - 1998 - Journal of Symbolic Logic 63 (2):746-747.
R. G. Downey and M. R. Fellows. Parameterized complexity. Monographs in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xv + 533 pp. [REVIEW]Jörg Flum - 2002 - Bulletin of Symbolic Logic 8 (4):528-529.
Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2005 - Springer.
Steven Buechler. Essential stability theory. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1996, xiv + 355 pp. [REVIEW]Michael C. Laskowski - 1998 - Journal of Symbolic Logic 63 (1):325-326.
Barwise Jon. Admissible sets and structures. An approach to definability theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, XIV + 394 pp. [REVIEW]Mark Nadel - 1978 - Journal of Symbolic Logic 43 (1):139-144.
Fenstad Jens E.. General recursion theory. An axiomatic approach. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, XI + 225 pp. [REVIEW]Douglas Cenzer - 1982 - Journal of Symbolic Logic 47 (3):696-698.
Malitz Jerome. Introduction to mathematical logic. Set theory, computable functions, model theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xii + 198 pp. [REVIEW]P. Eklof - 1984 - Journal of Symbolic Logic 49 (2):672-673.
Review: H.-D. Ebbinghaus, J. Flum, W. Thomas, Jorg Flum, W. Thomas, Ann S. Ferebee, Margit Mebmer, Mathematical logic. [REVIEW]Steffen Lemp - 1995 - Journal of Symbolic Logic 60 (3):1013-1014.
Kanamori Akihiro. The higher infinite. Large cardinals in set theory from their beginnings. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, xxiv + 536 pp. [REVIEW]Azriel Levy - 1996 - Journal of Symbolic Logic 61 (1):334-336.
Lerman Manuel. Degrees of unsolvability. Local and global theory. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1983, xiii + 307 pp. [REVIEW]Carl G. Jockusch - 1985 - Journal of Symbolic Logic 50 (2):549-550.
Stephen G. Simpson. Subsystems of second order arithmetic. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1999, xiv + 445 pp. [REVIEW]Peter Cholak - 1999 - Journal of Symbolic Logic 64 (3):1356-1357.
Poizat Bruno. A course in model theory. An introduction to contemporary mathematical logic. English translation by Klein Moses of jsl lviii 1074. Universitext. Springer, new York, Berlin, heidelberg, etc., 2000, XXXI+ 443 pp. [REVIEW]Gregory Cherlin - 2001 - Bulletin of Symbolic Logic 7 (4):521-522.

Analytics

Added to PP
2016-06-30

Downloads
20 (#770,024)

6 months
4 (#796,002)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references