Geodesic
Completeness: When Enough is Enough
Documenta mathematica, Tome 24 (2019), pp. 899-914

Voir la notice de l'article provenant de la source EMS Press

We investigate the notion of a complete enough metric space that, while classically vacuous, in a constructive setting allows for the generalisation of many theorems to a much wider class of spaces. In doing so, this notion also brings the known body of constructive results significantly closer to that of classical mathematics. Most prominently, we generalise the Kreisel-Lacome-Shoenfield Theorem/Tseytin's Theorem on the continuity of functions in recursive mathematics.
DOI : 10.4171/dm/696
Classification : 03D78, 03F55, 03F60
Mots-clés : completeness, constructive mathematics, computable analysis 
Hannes Diener; Matthew Hendtlass. Completeness: When Enough is Enough. Documenta mathematica, Tome 24 (2019), pp. 899-914. doi: 10.4171/dm/696
@article{10_4171_dm_696,
     author = {Hannes Diener and Matthew Hendtlass},
     title = {Completeness: {When} {Enough} is {Enough}},
     journal = {Documenta mathematica},
     pages = {899--914},
     year = {2019},
     volume = {24},
     doi = {10.4171/dm/696},
     url = {http://geodesic.mathdoc.fr/articles/10.4171/dm/696/}
}
TY  - JOUR
AU  - Hannes Diener
AU  - Matthew Hendtlass
TI  - Completeness: When Enough is Enough
JO  - Documenta mathematica
PY  - 2019
SP  - 899
EP  - 914
VL  - 24
UR  - http://geodesic.mathdoc.fr/articles/10.4171/dm/696/
DO  - 10.4171/dm/696
ID  - 10_4171_dm_696
ER  - 
%0 Journal Article
%A Hannes Diener
%A Matthew Hendtlass
%T Completeness: When Enough is Enough
%J Documenta mathematica
%D 2019
%P 899-914
%V 24
%U http://geodesic.mathdoc.fr/articles/10.4171/dm/696/
%R 10.4171/dm/696
%F 10_4171_dm_696

Cité par Sources :