A Course in Model Theory. An Introduction to Contemporary Mathematical Logic

Bulletin of Symbolic Logic 7 (4):521-522 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687797

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

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.
B. Poizat, A Course In Model Theory, Reviewed By Gregory Cherlin. [REVIEW]Gregory Cherlin - 2001 - Bulletin of Symbolic Logic 7 (4):521-521.
Gregory Cherlin, Lou van den Dries, and Angus Macintyre. Decidability and undecidability theorems for PAC-fields. Bulletin of the American Mathematical Society, n.s. vol. 4 , pp. 101–104. [REVIEW]A. Prestel - 1987 - Journal of Symbolic Logic 52 (2):568.
Model Theory: An Introduction.David Marker - 2003 - Bulletin of Symbolic Logic 9 (3):408-409.
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity.Alasdair Urquhart - 2007 - Bulletin of Symbolic Logic 13 (4):538-540.
REVIEWS-A first course in logic: An introduction to model theory, proof theory, computability, and complexity.S. Hedman & Alasdair Urquhart - 2007 - Bulletin of Symbolic Logic 13 (4):538-539.
Gregory Cherlin and Ehud Hrushovski. Finite structures with few types. Annals of Mathematics Studies. Princeton University Press, 2003, vi + 196 pp. [REVIEW]Vera Koponen - 2008 - Bulletin of Symbolic Logic 14 (1):114-116.
Introduction to Mathematical Logic. Set Theory, Computable Functions, Model Theory.Jerome Malitz - 1984 - Journal of Symbolic Logic 49 (2):672-673.
Mathematical logic and model theory: a brief introduction.A. Prestel - 2011 - New York: Springer. Edited by Charles N. Delzell.
REVIEWS-A course in model theory.B. Poizat & Gregory Cherlin - 2001 - Bulletin of Symbolic Logic 7 (4):521-521.

Analytics

Added to PP
2013-11-21

Downloads
10 (#1,207,573)

6 months
1 (#1,722,767)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dependent pairs.Ayhan Günaydin & Philipp Hieronymi - 2011 - Journal of Symbolic Logic 76 (2):377 - 390.
The automorphism group of a resplendent model.James H. Schmerl - 2012 - Archive for Mathematical Logic 51 (5-6):647-649.
Stable embeddedness and nip.Anand Pillay - 2011 - Journal of Symbolic Logic 76 (2):665 - 672.
Notes on the geometry of logic and philosophy.Marcin Wolski - 2002 - Logic and Logical Philosophy 10:223.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references