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

Institutions

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
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Kuratowski's problem in constructive Topology

Francesco Ciraulo
18 citations
Journal of Logic and Analysis
Cognitive Science and Education Research
25.76
article

Kuratowski's problem in constructive Topology

Francesco Ciraulo
article en
18 citations

Abstract

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.

Journal of Logic and AnalysisVol. 17
University of Padua (IT)
Openalex Percentile: Top 0%
Cognitive Science and Education Research
25.76
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.