Metric spaces in synthetic topology

DOI10.1016/J.APAL.2011.06.017zbMath1251.03081OpenAlexW1975572797WikidataQ115902567 ScholiaQ115902567MaRDI QIDQ651311

Davorin Lešnik, Andrej Bauer

Publication date: 12 December 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.06.017

zbMATH Keywords

constructive metric spacesmetrization axiomsynthetic topology

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60) Topoi (18B25) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)

Related Items (8)

The intrinsic topology of Martin-Löf universes ⋮ Quotienting the delay monad by weak bisimilarity ⋮ On fixed-point theorems in synthetic computability ⋮ Unnamed Item ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ On the topological aspects of the theory of represented spaces ⋮ Constructive decidability of classical continuity ⋮ Every metric space is separable in function realizability

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Church's thesis without tears
• On the interpretation of intuitionistic number theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Metric spaces in synthetic topology