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

constructive mathematicsuniform spacecompletionconstructive set theory

Mathematics Subject Classification ID

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

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
• Publication:4860277
• scientific article; zbMATH DE number 709717
• scientific article; zbMATH DE number 57978
• A concept of completeness of quasi-uniform spaces

Cites work

• 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?)
• Aspects of general topology in constructive set theory
• Constructive set theory
• 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)

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

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)