Results 1  10
of
13
Modal Languages And Bounded Fragments Of Predicate Logic
, 1996
"... Model Theory. These are nonempty families I of partial isomorphisms between models M and N , closed under taking restrictions to smaller domains, and satisfying the usual BackandForth properties for extension with objects on either side  restricted to apply only to partial isomorphisms of size ..."
Abstract

Cited by 273 (12 self)
 Add to MetaCart
Model Theory. These are nonempty families I of partial isomorphisms between models M and N , closed under taking restrictions to smaller domains, and satisfying the usual BackandForth properties for extension with objects on either side  restricted to apply only to partial isomorphisms of size at most k . 'Invariance for kpartial isomorphism' means having the same truth value at tuples of objects in any two models that are connected by a partial isomorphism in such a set. The precise sense of this is spelt out in the following proof. 21 Proof (Outline.) kvariable formulas are preserved under partial isomorphism, by a simple induction. More precisely, one proves, for any assignment A and any partial isomorphism IÎI which is defined on the Avalues for all variables x 1 , ..., x k , that M, A = f iff N , IoA = f . The crucial step in the induction is the quantifier case. Quantified variables are irrelevant to the assignment, so that the relevant partial isomorphism can be res...
Homomorphism Preservation Theorems
, 2008
"... The homomorphism preservation theorem (h.p.t.), a result in classical model theory, states that a firstorder formula is preserved under homomorphisms on all structures (finite and infinite) if and only if it is equivalent to an existentialpositive formula. Answering a longstanding question in fin ..."
Abstract

Cited by 27 (0 self)
 Add to MetaCart
The homomorphism preservation theorem (h.p.t.), a result in classical model theory, states that a firstorder formula is preserved under homomorphisms on all structures (finite and infinite) if and only if it is equivalent to an existentialpositive formula. Answering a longstanding question in finite model theory, we prove that the h.p.t. remains valid when restricted to finite structures (unlike many other classical preservation theorems, including the ̷Lo´sTarski theorem and Lyndon’s positivity theorem). Applications of this result extend to constraint satisfaction problems and to database theory via a correspondence between existentialpositive formulas and unions of conjunctive queries. A further result of this article strengthens the classical h.p.t.: we show that a firstorder formula is preserved under homomorphisms on all structures if and only if it is equivalent to an existentialpositive formula of equal quantifierrank.
Syntax vs. Semantics on Finite Structures
 Structures in Logic and Computer Science. A Selection of Essays in Honor of A. Ehrenfeucht
, 1997
"... . Logic preservation theorems often have the form of a syntax /semantics correspondence. For example, the / LosTarski theorem asserts that a firstorder sentence is preserved by extensions if and only if it is equivalent to an existential sentence. Many of these correspondences break when one restr ..."
Abstract

Cited by 10 (1 self)
 Add to MetaCart
. Logic preservation theorems often have the form of a syntax /semantics correspondence. For example, the / LosTarski theorem asserts that a firstorder sentence is preserved by extensions if and only if it is equivalent to an existential sentence. Many of these correspondences break when one restricts attention to finite models. In such a case, one may attempt to find a new semantical characterization of the old syntactical property or a new syntactical characterization of the old semantical property. The goal of this paper is to provoke such a study. 1 Introduction It is well known that famous theorems about firstorder logic fail in the case when only finite structures are allowed (see, for example, [?]). A more careful examination shows that it is wrong to lump all these failing theorems together. On one side we have theorems like completeness or compactness where the failure is really and truly hopeless. On the other side there are theorems like the / LosTarski theorem, which we...
On Preservation Theorems for TwoVariable Logic
 MATHEMATICAL LOGIC QUARTERLY
, 1999
"... We show that the existential preservation theorem fails for FO², twovariable firstorder logic. It is known that for all k 3, FO^k does not have an existential preservation theorem, so this settles the last open case, answering a question of Andr'eka, van Benthem, and N'emeti. In contra ..."
Abstract

Cited by 9 (1 self)
 Add to MetaCart
(Show Context)
We show that the existential preservation theorem fails for FO², twovariable firstorder logic. It is known that for all k 3, FO^k does not have an existential preservation theorem, so this settles the last open case, answering a question of Andr'eka, van Benthem, and N'emeti. In contrast, we prove that the homomorphism preservation theorem holds for FO².
kUniversal Finite Graphs
, 1996
"... This paper investigates the class of kuniversal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics. The main results of the paper, which are due to Shelah, establish that the class of kuniversal graphs is not de nable by a ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
(Show Context)
This paper investigates the class of kuniversal finite graphs, a local analog of the class of universal graphs, which arises naturally in the study of finite variable logics. The main results of the paper, which are due to Shelah, establish that the class of kuniversal graphs is not de nable by an infinite disjunction of rstorder existential sentences with a finite number of variables and that there exist kuniversal graphs with no kextendible induced subgraphs.
Finite Models and Finitely Many Variables
 BANACH CENTER PUBLICATIONS
, 1999
"... We consider L^k  first order logic restricted to k variables, and interpreted in finite structures. The study of classes of finite structures axiomatisable with finitely many variables has assumed importance through connections with computational complexity. In particular, we investigate the rela ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
We consider L^k  first order logic restricted to k variables, and interpreted in finite structures. The study of classes of finite structures axiomatisable with finitely many variables has assumed importance through connections with computational complexity. In particular, we investigate the relationship between the size of a finite structure and the number of distinct types it realizes, with respect to L^k. Some open questions, formulated as finitary LöwenheimSkolem properties, are presented regarding this relationship. This is also investigated through finitary versions of an EhrenfeuchtMostowski property.
Extension preservation theorems on classes of acyclic finite structures
"... A class of structures satisfies the extension preservation theorem if, on this class, every first order sentence is preserved under extension iff it is equivalent to an existential sentence. We consider different acyclicity notions for hypergraphs (γ, β and αacyclicity and also acyclicity on hyperg ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
A class of structures satisfies the extension preservation theorem if, on this class, every first order sentence is preserved under extension iff it is equivalent to an existential sentence. We consider different acyclicity notions for hypergraphs (γ, β and αacyclicity and also acyclicity on hypergraph quotients) and estimate their influence on the validity of the extension preservation theorem on classes of finite structures. More precisely, we prove that γacyclic classes (with some closure properties) satisfy the extension preservation theorem, whereas βacyclic classes do not. We also extend the validity of the extension preservation theorem for a generalization of γacyclicity that we call γacyclic kquotient. To achieve this, we make a reduction from finite structures to their kquotients and we use combinatorial arguments on γacyclic hypergraphs. 1
FINITE MODELS AND FINITELY MANY VARIABLES
"... Abstract. This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results. 1. Introduction. Finite variable logics have come to occupy a very important place in finite model theory. This survey examines ..."
Abstract
 Add to MetaCart
(Show Context)
Abstract. This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results. 1. Introduction. Finite variable logics have come to occupy a very important place in finite model theory. This survey examines a number of the results that have been established and the techniques that have been used in this connection. Taking a broad enough view allows a picture to emerge which shows that essentially the same techniques have reappeared in differing guises in entirely different contexts. The questions that motivated Poizat's work on classification seem unconnected with McColm's conjectures, which in turn bear only an incidental relationship with the question of Chandra and Harel that motivated Abiteboul and Vianu's theorem and related work on relational complexity. The fact that finite variable logics play an important role in each case supports the view that they are in some way central to the model theory of finite structures. By focussing on the common techniques, this survey aims to expose the underlying connections between a variety of investigations. It is hoped that this will help to explain the importance of finite variable logics, as well as the breadth of applicability of the ideas that have been developed. The paper does not, however, aim to be comprehensive in its coverage of the work on finite variable logics in finite model theory as several strands of this work are omitted for lack of space. Significant among these is the work on finite variable logics and counting which has been covered in the excellent work by Otto [50], and the relation of finite variable logics to modal and temporal logics for which a good starting point is the survey by Hodkinson One of the central concerns of finite model theory is to study the limits of the expressive power of logical languages on finite structures. It is in this context that questions of a model theoretic nature arise naturally with respect to finite models. A large part