Constructively Complete Finite Sets (Q3030826)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructively Complete Finite Sets |
scientific article |
Statements
Constructively Complete Finite Sets (English)
0 references
1988
0 references
metric space
0 references
Markov's Principle
0 references
finite set of real numbers
0 references
Cauchy sequence
0 references
almost positive real number
0 references
pseudo-positive real number
0 references
continuous
0 references
completeness
0 references
