Mathematical Logic Quarterly 45 (3):315-325 (1999)

Abstract
We show that the existential preservation theorem fails for two-variable first-order logic FO2. It is known that for all k ≥ 3, FOk does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and Németi. In contrast, we prove that the homomorphism preservation theorem holds for FO2
Keywords Preservation theorem  Finite variable logic  Finite model theory
Categories (categorize this paper)
DOI 10.1002/malq.19990450304
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,682
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Model Theory.Wilfrid Hodges - 2008 - Stanford Encyclopedia of Philosophy.
Modal Logic and Classical Logic.J. F. A. K. van Benthem - 1983 - Distributed in the U.S.A. By Humanities Press.
On Languages with Two Variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.

View all 11 references / Add more references

Citations of this work BETA

On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Some Aspects of Model Theory and Finite Structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.
On the Restraining Power of Guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.

Add more citations

Similar books and articles

Modal Logic Over Finite Structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
Preservation Theorems of Finite Models.Libo Lo - 1993 - Journal of Symbolic Logic 58:376.
The K-Variable Property is Stronger Than H-Dimension K.Ian Hodkinson & András Simon - 1997 - Journal of Philosophical Logic 26 (1):81-101.
Finite Variable Logic, Stability and Finite Models.Marko Djordjević - 2001 - Journal of Symbolic Logic 66 (2):837-858.
Some Remarks on Finite Löwenheim‐Skolem Theorems.Martin Grohe - 1996 - Mathematical Logic Quarterly 42 (1):569-571.
On Models with Variable Universe.Bernd Ingo Dahn - 1975 - Studia Logica 34 (1):11 - 23.
Rectangular Games.Yde Venema - 1998 - Journal of Symbolic Logic 63 (4):1549-1564.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.

Analytics

Added to PP index
2014-01-16

Total views
10 ( #815,463 of 2,349,382 )

Recent downloads (6 months)
1 ( #510,581 of 2,349,382 )

How can I increase my downloads?

Downloads

My notes