Resolution of the uniform lower bound problem in constructive analysis

DOI10.1002/MALQ.200710034MaRDI QIDQ5448617zbMATH OpenOpenAlexFDO

Authors 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

formal topologieslocaleslocally compact metric spaces

Mathematics Subject Classification ID

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

Recommendations

• A feasibly constructive lower bound for resolution proofs
• Strongly uniform bounds from semi-constructive proofs
• The uniform bounded deciding property and the separable quotient problem
• scientific article; zbMATH DE number 4088078
• A constructive method related to generalizations of the uniform boundedness principle and its applications
• scientific article; zbMATH DE number 5064948
• scientific article; zbMATH DE number 850427
• scientific article; zbMATH DE number 5269063
• Decidability results for the boundedness problem
• scientific article; zbMATH DE number 3952751

Cites work

• A uniformly continuous function on [0,1] that is everywhere different from its infimum
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 2222240 (Why is no real title available?)
• Non-standard analysis and historical infinitesimals

Cited in

(3)

• The anti-Specker property, positivity, and total boundedness
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• A constructive and functorial embedding of locally compact metric spaces into locales

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5448617)