scientific article; zbMATH DE number 1418440
From MaRDI portal
Publication:4941995
In intuitionistic mathematics, the double complement of a set does not in general coincide with the set itself. The results of the paper show that a subset of the intuitionistic continuum may be included in uncountably many subsets of its double complement. This is true, for instance, for the set of rational real numbers and the set of real numbers with a binary expansion. The arguments make use of the principle of weak continuity for numbers. For the entire collection see [Zbl 0927.00020].
Recommendations
- On a generalization of closed sets
- On nearly closed sets
- scientific article; zbMATH DE number 932301
- On the stable containment of two sets
- Constructive complements of unions of two closed sets
- scientific article; zbMATH DE number 549461
- scientific article; zbMATH DE number 1455418
- Between closed sets and \(g\)-closed sets
- scientific article; zbMATH DE number 2068769
Cited in
(9)- Intuitionism: an inspiration?
- Two simple sets that are not positively Borel
- Equality and equivalence, intuitionistically
- Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative
- scientific article; zbMATH DE number 1354107 (Why is no real title available?)
- Projective sets, intuitionistically
- The principle of open induction on \([0, 1]\) and the approximate-fan theorem
- On some of Brouwer's axioms
- The Fan Theorem, its strong negation, and the determinacy of games
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4941995)
