Searching for "Homomorphism preservation theorems." – sorted by Relevance.
10 documents found, showing 1 through 10.
-
On Datalog vs. LFP
- … that the homomorphism preservation theorem fails for LFP, both in general and in restriction to finite structures…
- Add To MetaCart
-
FIRST ORDER PROPERTIES ON NOWHERE DENSE STRUCTURES
- … and recently it played a prominent role in the study of homomorphism preservation theorems for special classes…
- Add To MetaCart
-
1.1 Preservation Theorems in Classical and Finite Model Theory
- …Homomorphism Preservation Theorems BENJAMIN ROSSMAN Massachusetts Institute of Technology…
- Add To MetaCart
-
On Preservation Theorems for Two-Variable Logic
- … preservation theorem: a first-order sentence ' defines a model class that is closed under homomorphisms…
- Cited by 10 (1 self) – Add To MetaCart
-
Homomorphisms and First-Order Logic
- … brossman@(email omitted); Abstract We prove that the homomorphism preservation theorem (h.p.t.), a…
- Cited by 2 (0 self) – Add To MetaCart
-
Homomorphism Preservation on Quasi-Wide Classes
- … remained open for many years is the homomorphism preservation theorem. This states that a first…
- Add To MetaCart
-
Some Aspects of Model Theory and Finite Structures
- … preservation theorem is the homomorphism preservation theorem. A sentence ' denes a class that is closed under…
- Cited by 7 (0 self) – Add To MetaCart
-
Preservation under extensions on well-behaved finite structures
- … was initiated in [1]. There, the focus was on the homomorphism preservation theorem, whose status on the class…
- Cited by 8 (5 self) – Add To MetaCart
-
Finite Model Theory and Finite Variable Logics
- … to existential sentences. The Homomorphism preservation theorem states that a class C is FO-definable and closed…
- Cited by 5 (2 self) – Add To MetaCart
-
Model theory makes formulas large
- … succinctness lower bound: It has recently been proved by Rossman [23] that the homomorphism preservation…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
