Étude constructive de problèmes de topologie pour les réels irrationnels (Q4243916)
From MaRDI portal
scientific article; zbMATH DE number 1289868
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Étude constructive de problèmes de topologie pour les réels irrationnels |
scientific article; zbMATH DE number 1289868 |
Statements
Étude constructive de problèmes de topologie pour les réels irrationnels (English)
0 references
18 October 1999
0 references
constructive analysis
0 references
irrational real numbers
0 references
metric equivalence
0 references
omniscience principles
0 references
infinite developments in continued fraction
0 references
complete metric space
0 references
