Canonical Finite Diagrams and Quantifier Elimination

Mathematical Logic Quarterly 48 (4):533-554 (2002)
  Copy   BIBTEX

Abstract

We revisit the theory of amalgamation classes but we do not insist on staying within elementary classes

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Canonical bases in excellent classes.Tapani Hyttinen & Olivier Lessmann - 2008 - Journal of Symbolic Logic 73 (1):165-180.
Quantifier-eliminable locally finite graphs.Shawn Hedman & Wai Yan Pong - 2011 - Mathematical Logic Quarterly 57 (2):180-185.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.
Quantifier elimination for neocompact sets.H. Jerome Keisler - 1998 - Journal of Symbolic Logic 63 (4):1442-1472.
Stability and General Logics.Tapani Hyttinen - 1999 - Mathematical Logic Quarterly 45 (2):219-240.
The Role of Quantifier Alternations in Cut Elimination.Philipp Gerhardy - 2005 - Notre Dame Journal of Formal Logic 46 (2):165-171.
Worlds of Homogeneous Artifacts.Athanassios Tzouvaras - 1995 - Notre Dame Journal of Formal Logic 36 (3):454-474.

Analytics

Added to PP
2013-12-01

Downloads
19 (#683,238)

6 months
1 (#1,042,085)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Notes on quasiminimality and excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.
Expansions of geometries.John T. Baldwin - 2003 - Journal of Symbolic Logic 68 (3):803-827.

Add more citations

References found in this work

No references found.

Add more references