Finite Basis for Fragments of Tarski's Relation Algebra Preserving Functions and Homomorphisms

핵심 개념

The homomorphism-safe fragment of Tarski's relation algebra is finitely generated, but the function-preserving and total-function-preserving fragments are not finitely generated. The forward function-preserving and local injective-function-preserving fragments are finitely generated.

초록

The paper investigates the question of whether certain semantically-defined fragments of Tarski's relation algebra (TRA) can be generated by a finite set of operations. The main findings are:

1. The homomorphism-safe fragment of TRA is finitely generated, both over finite and arbitrary structures. This is shown by translating homomorphism-preserved first-order formulas to a finite fragment of TRA.

2. The function-preserving fragment and the total-function-preserving fragment of TRA are not finitely generated, and in fact, not expressible by any finite set of guarded second-order definable function-preserving operations. This is proven by constructing a counterexample operation that is function-preserving but not definable in any finite fragment.

3. The forward function-preserving fragment is finitely generated by composition, intersection, antidomain, and preferential union. Similarly, the forward-and-backward-looking injective-function-preserving fragment is finitely generated by composition, intersection, antidomain, inverse, and an 'injective union' operation.

The paper also discusses connections to related work on clones of operations on binary relations and expressive completeness results in temporal and interval logics.

통계

There are no key metrics or important figures used to support the author's key logics.

인용구

There are no striking quotes supporting the author's key logics.

핵심 통찰 요약

Preservation theorems for Tarski's relation algebra

by Bart Bogaert... 게시일 arxiv.org 04-12-2024

https://arxiv.org/pdf/2305.04656.pdf

더 깊은 질문

What other semantic fragments of Tarski's relation algebra could be investigated for finite generatedness

One possible semantic fragment of Tarski's relation algebra that could be investigated for finite generatedness is the injective-function-preserving fragment. This fragment focuses on operations that preserve injective partial functions, which could provide valuable insights into the generative properties of such operations. By studying whether this fragment is finitely generated, researchers can further expand their understanding of the expressibility and complexity of operations on binary relations that maintain injectivity.

Can the ⊆-preserved fragment of Tarski's relation algebra be characterized as a finitely generated fragment

Characterizing the ⊆-preserved fragment of Tarski's relation algebra as a finitely generated fragment presents an intriguing challenge. While the preservation of the ⊆ relation is a fundamental property in model theory, the finite generatedness of this specific fragment remains an open question. By exploring whether this fragment can be defined by a finite set of operations, researchers can uncover essential insights into the structural properties and expressibility of operations that maintain the subset relation.

Are there any connections between the finite generatedness results in this paper and the axiomatizability or computational complexity of the corresponding fragments

The finite generatedness results in the paper can have significant implications for the axiomatizability and computational complexity of the corresponding fragments of Tarski's relation algebra. Understanding which semantic fragments are finitely generated can provide valuable information about the expressibility and definability of operations on binary relations. Moreover, these results can shed light on the computational properties and efficiency of reasoning tasks involving these fragments, offering insights into the complexity of decision procedures and algorithms for working with relation algebras.