Resolution of the uniform lower bound problem in constructive analysis (Q5448617)
From MaRDI portal
scientific article; zbMATH DE number 5245780
Language | Label | Description | Also known as |
---|---|---|---|
English | Resolution of the uniform lower bound problem in constructive analysis |
scientific article; zbMATH DE number 5245780 |
Statements
Resolution of the uniform lower bound problem in constructive analysis (English)
0 references
7 March 2008
0 references
locales
0 references
formal topologies
0 references
locally compact metric spaces
0 references