A predicative completion of a uniform space

DOI10.1016/J.APAL.2011.12.022MaRDI QIDQ424538zbMATH OpenOpenAlexFDO

Authors Josef Berger, Hajime Ishihara, Erik Palmgren, Peter 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

completionconstructive mathematicsconstructive set theoryuniform space

Mathematics Subject Classification ID

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

Review text

In this contribution to the constructive theory of uniform spaces, having pointed out their perceived problems with the Bridges-Vîţă notion of \textit{uniform space}, the authors introduce a new, predicative notion, built on a base of entourages. They then show how, in the subsystem CZF\(^{-}\) of the constructive set theory CZF, one can construct a completion of their kind of uniform space.

Recommendations

• Completions of pre–uniform spaces
• scientific article; zbMATH DE number 7070552
• Completeness of Quasi-Uniform and Syntopological Spaces
• Completion of pre-quasi-uniform spaces
• Completeness in quasi-uniform spaces
• Completion of semi-uniform spaces
• scientific article; zbMATH DE number 833772
• scientific article; zbMATH DE number 709717
• scientific article; zbMATH DE number 57978
• A concept of completeness of quasi-uniform spaces

Cites work

• Aspects of general topology in constructive set theory
• Constructive set theory
• scientific article; zbMATH DE number 1665455 (Why is no real title available?)
• scientific article; zbMATH DE number 3839951 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• On the collection of points of a formal space
• Some points in formal topology.
• Strong and Uniform Continuity – the Uniform Space Case
• Techniques of constructive analysis
• The crisis in contemporary mathematics
• Two subcategories of apartness spaces

Cited in

(6)

• Formula balancing and continuously valuated models
• The uniform boundedness theorem and a boundedness principle
• Constructive uniformities of pseudometrics and Bishop topologies
• Localic completion of uniform spaces
• Generalized geometric theories and set-generated classes
• Uniform locales and their constructive aspects

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

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