Kuratowski's problem in constructive Topology
A classical result by Kuratowski states that there are at most seven different combinations of the operators of interior and closure in a topological space, which become fourteen if one consider also complement. Two (and hence, usually, more) of these operators can coincide in some special classes of spaces; for instance, Boolean spaces have only six different combinations. This is the classical picture. What happens to this picture if it is looked at from a constructive point of view? The present paper provides an answer to this question, while leaving some problems open. The first part of the paper provides a constructive account of the closure-interior problem and discusses some special classes of spaces. The role of the set-theoretic (pseudo)complement is considered in the second part. The paper ends by showing what the Kuratowski's problem looks like in a pointfree (and constructive) framework, that is, within the (constructive) theory of locales.
Authors
- Francesco Ciraulo (ORCID: https://orcid.org/0000-0002-4957-4799)
Institutions
- University of Padua (IT)
Publication Details
- Journal
- Journal of Logic and Analysis
- Published
- 2025-02-12
- DOI
- https://doi.org/10.4115/jla.2025.17.fds1
- Citations
- 18
- Primary Topic
- Cognitive Science and Education Research
- Type
- article
- Field-Weighted Citation Impact
- 25.76