On Nondefinability of Interior-Connectedness via the Contact Relation
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Duke University Press, University of Notre Dame
Abstract
This short paper is a small contribution to the field of Boolean contact algebras. We analyze the nondefinability of the property of interior-connectedness, and we prove certain minimality conditions for algebras and spaces that can be used in demonstrating that the aforementioned property cannot be expressed by means of contact within regular closed algebras.
Description
Keywords
binary relations, Boolean contact algebras, internal connectedness, Padoa's method, spatial logic
Citation
Notre Dame J. Formal Logic 67(2), May 2026, pp. 291-303
Collections
Endorsement
Review
Supplemented By
Referenced By
Creative Commons license
Except where otherwised noted, this item's license is described as Attribution 4.0 International