A predicative completion of a uniform space

DOI10.1016/J.APAL.2011.12.022zbMath1257.03092OpenAlexW2045245582MaRDI QIDQ424538

Josef Berger, Erik Palmgren, Hajime Ishihara, Peter M. Schuster

Publication date: 1 June 2012

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.12.022

zbMATH Keywords

constructive mathematicscompletionuniform spaceconstructive set theory

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Uniform structures and generalizations (54E15)

Related Items (3)

Unnamed Item ⋮ The uniform boundedness theorem and a boundedness principle ⋮ Generalized geometric theories and set-generated classes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Two subcategories of apartness spaces
• Techniques of constructive analysis
• The crisis in contemporary mathematics
• Some points in formal topology.
• Aspects of general topology in constructive set theory
• On the collection of points of a formal space
• Constructive set theory
• Strong and Uniform Continuity – the Uniform Space Case

This page was built for publication: A predicative completion of a uniform space