arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1901.10442

Distributive Mereotopology: Extended distributive contact lattices

Tatyana Ivanova·Dimiter Vakarelov
View original source ↗Read source document ↗Export metadata ↓

Abstract

Contact algebra is one of the main tools in the region-based theory of space. It is an extension of Boolean algebra with a relation called contact. The elements of the Boolean algebra are considered as formal representations of physical bodies. The contact relation is used also to define some other important mereotopological relations like non-tangential inclusion, dual contact, external contact. Most of these definitions are given by means of the operation of Boolean complementation. There are, however, some problems related to the motivation of this operation. In order to avoid these problems we propose a generalization of the notion of contact algebra by dropping the operation of complement. In this paper we consider as non-definable primitives the relations of contact, nontangential inclusion and dual contact. Part I of the paper is devoted to a suitable axiomatization called extended distributive contact lattice (EDCL) by means of universal first-order axioms true in all contact algebras. EDCL may be considered also as an algebraic tool for certain subarea of mereotopology, called in this paper distributive mereotopology. The main result of Part I of the paper is a representation theorem, stating that each EDCL can be embedded into a contact algebra, showing in this way that the presented axiomatization preserves the meaning of mereotopological relations without considering Boolean complementation. Part II of the paper is devoted to topological representation theory of EDCL, transferring into the distributive case important results from the topological representation theory of contact algebras. It is shown that under minor additional assumptions on distributive lattices as extensionality of the definable relations of overlap or underlap one can preserve the good topological interpretations of regions as regular closed or regular open sets in topological space.

Explore related subjects

math.LO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tatyana Ivanova, Dimiter Vakarelov. 2019-01-29. Distributive Mereotopology: Extended distributive contact lattices. https://doi.org/10.1007/s10472-016-9499-5

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On Borel sets in ideal topologies

We study the Borel and analytic subsets of the spaces ${}^κκ$ and ${}^κ2$ endowed with ideal topologies, where $κ$ is a regular uncountable cardinal, thereby addressing some open problems of the literature. We provide a systematic analysis of the Borel hierarchy for an arbitrary ideal topology. In particular, we formulate a sufficient condition ensuring that the hierarchy does not collapse, demonstrate that every Borel set in such a topology is analytic, and establish the existence of a set that is not Borel. Our main result shows that, when the underlying ideal contains an unbounded subset, the collection of analytic sets coincides with the full power set of the ambient space. Finally, we prove that the Approximation Lemma holds in the setting of ideal topologies.

math.LO↗
arXiv2026

Inquisitive first-order logic is neither compact nor recursively axiomatizable

Inquisitive first-order logic is an extension of classical first-order logic with formulas regimenting first-order questions, such as "whether all objects are P", "which objects are P", and "what is one object that is P". Since it was first developed in 2009, two major meta-theoretical questions about this logic have remained open, in spite of significant efforts. The first concerns compactness: if a conclusion follows from a set of premises, does it always follow from some finite subset? The second concerns the computational status of validity: is the set of validities recursively enumerable, or equivalently, does the logic admit a recursive axiomatization? We settle both questions in the negative, showing that inquisitive first-order logic is neither compact nor recursively axiomatizable. Furthermore, we prove that it violates another signature property of first-order logic, namely, Craig interpolation. We discuss the significance of our results, and show how to extend them to a closely related logic, viz., inquisitive team logic.

math.LO↗
arXiv2026

The Borel Distinguishing Number of Schreier Graphs

The Borel distinguishing number $D_B(\mathcal{G})$ of a Borel graph $\mathcal{G}$, recently introduced by Bilge and Kaya, is the minimum number of colors required to break the symmetry of $\mathcal{G}$ in a Borel way. In this paper, we investigate the Borel distinguishing number of Schreier graphs induced by the free part of the shift action $Γ\curvearrowright n^Γ$. We prove that $D_B(\mathcal{G})\le n+1$ for $Γ=\mathbb{Z}^d$ equipped with the standard generators. Moreover, we show that $D_B(\mathcal{G})\ge n+1$ if $ Γ$ is amenable and $ \{γ\in \mathrm{Aut}(\mathrm{Cay}(Γ,S)) \mid γ(e) = e \}$ is non-trivial. We also show that $D_B(\mathcal{G})$ is finite if $Γ$ is finitely generated, and give some applications of our results. These results answer some questions raised by Bilge and Kaya.

math.LO↗