Article ID Journal Published Year Pages File Type
8906103 Indagationes Mathematicae 2018 41 Pages PDF
Abstract
We prove intuitionistic versions of the classical theorems saying that all countable closed subsets of [−π,π] and even all countable subsets of [−π,π] are sets of uniqueness. We introduce the co-derivative extension of an open subset of the set R of the real numbers as a constructively possibly more useful notion than the derivative of its complement, a closed subset of R. We also have a look at an intuitionistic version of Cantor's theorem that a closed set is the union of a perfect set and an at most countable set.
Related Topics
Physical Sciences and Engineering Mathematics Mathematics (General)
Authors
,