Resolution of the uniform lower bound problem in constructive analysis

DOI10.1002/malq.200710034zbMath1134.03037OpenAlexW2027246990MaRDI QIDQ5448617

Erik Palmgren

Publication date: 7 March 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710034

zbMATH Keywords

localeslocally compact metric spacesformal topologies

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Categorical methods in general topology (54B30) Frames, locales (06D22) Other constructive mathematics (03F65) Local compactness, (sigma)-compactness (54D45)

Related Items (2)

Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ The anti-Specker property, positivity, and total boundedness

Cites Work

• A uniformly continuous function on [0,1 that is everywhere different from its infimum]
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Resolution of the uniform lower bound problem in constructive analysis