2,693 research outputs found
Generic Expression Hardness Results for Primitive Positive Formula Comparison
We study the expression complexity of two basic problems involving the
comparison of primitive positive formulas: equivalence and containment. In
particular, we study the complexity of these problems relative to finite
relational structures. We present two generic hardness results for the studied
problems, and discuss evidence that they are optimal and yield, for each of the
problems, a complexity trichotomy
Changing a semantics: opportunism or courage?
The generalized models for higher-order logics introduced by Leon Henkin, and
their multiple offspring over the years, have become a standard tool in many
areas of logic. Even so, discussion has persisted about their technical status,
and perhaps even their conceptual legitimacy. This paper gives a systematic
view of generalized model techniques, discusses what they mean in mathematical
and philosophical terms, and presents a few technical themes and results about
their role in algebraic representation, calibrating provability, lowering
complexity, understanding fixed-point logics, and achieving set-theoretic
absoluteness. We also show how thinking about Henkin's approach to semantics of
logical systems in this generality can yield new results, dispelling the
impression of adhocness. This paper is dedicated to Leon Henkin, a deep
logician who has changed the way we all work, while also being an always open,
modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on
his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and
Alonso, E., 201
Searching for an algebra on CSP solutions
The Constraint Satisfaction Problem (CSP) is a problem of computing a
homomorphism between two relational structures,
where is defined over a domain and is defined
over a domain . In a fixed template CSP, denoted , the
right side structure is fixed and the left side structure
is unconstrained.
We consider the following problem: given a prespecified finite set of
algebras whose domain is , is it possible to present the
solutions set of a given instance of (which is an input to
the problem) as a subalgebra of where ?
We study this problem and show that it can be reformulated as an instance of
a certain fixed-template CSP, over another template . First, we demonstrate examples of for which is tractable for any, possibly NP-hard, .
Under natural assumptions on , we prove that can be reduced to a certain fragment of .
We also study the conditions under which can be reduced
to . Since the complexity of is defined by , we study
the relationship between and . It turns out that if is preserved by , then can be extended to a polymorphism of . In the end to demonstrate usefulness of our definitions
we study one case when is not of bounded width, but is of bounded width (i.e. has a richer structure of
polymorphisms).Comment: 34 page
On tractability and congruence distributivity
Constraint languages that arise from finite algebras have recently been the
object of study, especially in connection with the Dichotomy Conjecture of
Feder and Vardi. An important class of algebras are those that generate
congruence distributive varieties and included among this class are lattices,
and more generally, those algebras that have near-unanimity term operations. An
algebra will generate a congruence distributive variety if and only if it has a
sequence of ternary term operations, called Jonsson terms, that satisfy certain
equations.
We prove that constraint languages consisting of relations that are invariant
under a short sequence of Jonsson terms are tractable by showing that such
languages have bounded relational width
Eilenberg theorems for many-sorted formations
A theorem of Eilenberg establishes that there exists a bijection between the
set of all varieties of regular languages and the set of all varieties of
finite monoids. In this article after defining, for a fixed set of sorts
and a fixed -sorted signature , the concepts of formation of
congruences with respect to and of formation of -algebras, we
prove that the algebraic lattices of all -congruence formations and of
all -algebra formations are isomorphic, which is an Eilenberg's type
theorem. Moreover, under a suitable condition on the free -algebras and
after defining the concepts of formation of congruences of finite index with
respect to , of formation of finite -algebras, and of formation
of regular languages with respect to , we prove that the algebraic
lattices of all -finite index congruence formations, of all
-finite algebra formations, and of all -regular language
formations are isomorphic, which is also an Eilenberg's type theorem.Comment: 46 page
Disjoint-union partial algebras
Disjoint union is a partial binary operation returning the union of two sets
if they are disjoint and undefined otherwise. A disjoint-union partial algebra
of sets is a collection of sets closed under disjoint unions, whenever they are
defined. We provide a recursive first-order axiomatisation of the class of
partial algebras isomorphic to a disjoint-union partial algebra of sets but
prove that no finite axiomatisation exists. We do the same for other signatures
including one or both of disjoint union and subset complement, another partial
binary operation we define.
Domain-disjoint union is a partial binary operation on partial functions,
returning the union if the arguments have disjoint domains and undefined
otherwise. For each signature including one or both of domain-disjoint union
and subset complement and optionally including composition, we consider the
class of partial algebras isomorphic to a collection of partial functions
closed under the operations. Again the classes prove to be axiomatisable, but
not finitely axiomatisable, in first-order logic.
We define the notion of pairwise combinability. For each of the previously
considered signatures, we examine the class isomorphic to a partial algebra of
sets/partial functions under an isomorphism mapping arbitrary suprema of
pairwise combinable sets to the corresponding disjoint unions. We prove that
for each case the class is not closed under elementary equivalence.
However, when intersection is added to any of the signatures considered, the
isomorphism class of the partial algebras of sets is finitely axiomatisable and
in each case we give such an axiomatisation.Comment: 30 page
- …