No label defined (Q4941995)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1418440
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1418440 |
Statements
17 December 2000
0 references
intuitionistic mathematics
0 references
double complement
0 references
intuitionistic continuum
0 references
real numbers
0 references
weak continuity
0 references
0 references
0 references
0.8465316
0 references
0.8445921
0 references
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].
0 references
