On the Cauchy completeness of the constructive Cauchy reals (Q5307608)
From MaRDI portal
scientific article; zbMATH DE number 5191420
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the Cauchy completeness of the constructive Cauchy reals |
scientific article; zbMATH DE number 5191420 |
Statements
On the Cauchy completeness of the constructive Cauchy reals (English)
0 references
17 September 2007
0 references
constructive set theory
0 references
constructive analysis
0 references
Cauchy sequences
0 references
topological models
0 references
independence results
0 references
constructive Cauchy reals
0 references
