The Kuratowski closure-complement theorem

B Gardner, MG Jackson - 2008 - figshare.utas.edu.au
… it is now quite easy to give a proof of the Kuratowski theorem (see also … Kuratowski monoid
appears to be the most natural of the possible ways of making use of the Kuratowski theorem. …

The Kuratowski closure-complement problem

JH Fife - Mathematics Magazine, 1991 - Taylor & Francis
In case F satisfies the conditions of our theorem, we get a complete answer as follows. Let K
be the function on 0~ u< eo inverse to H so that K (k)=~ k· Then LT/k converges or diverges …

The Kuratowski closure-complement problem

J Berman, SL Jordan - The American Mathematical Monthly, 1975 - Taylor & Francis
… This theorem was proved by Kuratowski [2), and popularized as an exercise in Kelley's
General Topology [1, p. 57]. An illustration (X, A) of the closure-complement problem is a …

[PDF][PDF] On the Kuratowski closure-complement problem

LK Bagińska, A Grabowski - Formalized Mathematics, 2003 - pbc.biaman.pl
… In this article we formalize the Kuratowski closure-complement result: there is at most 14
distinct sets that one can produce from a given subset A of a topological space T by applying …

[PDF][PDF] The Kuratowski Closure-Complement Problem

CVN Tagne - 2021 - nguembou.net
… The goal of this section is to prove this Kuratowski’s Closure-Complement Theorem.
Before, we review some facts of the elementary theory of topological spaces, and examine …

A term rewriting system for Kuratowski's closure-complement problem

O Al-Hassani, Q Mahesar… - … Applications (RTA'12 …, 2012 - drops.dagstuhl.de
… We present a term rewriting system to solve a class of open problems that are generalisations
of Kuratowski’s closure-complement theorem. The problems are concerned with finding …

[PDF][PDF] On the computer-checked solution of the Kuratowski closure-complement problem

A Grabowski - Mechanized Mathematics and Its Applications, 2005 - academia.edu
… In this paper we describe a solution of the famous Kuratowski closure-complement (and, as
a side-effect, the closure-interior) problem, which are more a kind of mathematical puzzle (or …

Closures in formal languages and Kuratowski's theorem

J Brzozowski, E Grant, J Shallit - International Journal of …, 2011 - World Scientific
… In Section 4, we reconsider Kuratowski’s theorem in the context of formal languages, where
closure is replaced by Kleene or positive closure. We describe all possible algebras of lan…

Closures in formal languages and Kuratowski's theorem

J Brzozowski, E Grant, J Shallit - Developments in Language Theory: 13th …, 2009 - Springer
… systems and a version of Kuratowski’s theorem in a general setting … operators, and hence
Kuratowski’s theorem holds for them. … In Section 4 we reconsider Kuratowski’s theorem in the …

Variations on Kuratowski's 14-set theorem

D Sherman - The American Mathematical Monthly, 2010 - Taylor & Francis
… With regard to the latter, our choice was made with Kuratowski closure operators in mind. …
It was first drawn by Kuratowski [8]; in essence all of the arguments in this section go back to …