On Nondefinability of Interior-Connectedness via the Contact Relation

Notre Dame Journal of Formal Logic 2026 Open access

Read full text
Authors: Rafał Gruszczyński, Paula Menchón
DOI: 10.1215/00294527-2026-0003
Cited by: 0
References: 13

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.

Fields of Study & Subjects

Geometric and Algebraic Topology Logic programming and type systems Advanced Algebra and Logic

Publication details

Journal / source
Notre Dame Journal of Formal Logic
Publisher
Duke University Press
Volume
67
Issue
2
Pages
291-303
Publication date
1 May 2026
Language
EN