A predicative completion of a uniform space
From MaRDI portal
Publication:424538
DOI10.1016/J.APAL.2011.12.022zbMATH Open1257.03092OpenAlexW2045245582MaRDI QIDQ424538FDOQ424538
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
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
- The crisis in contemporary mathematics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Techniques of constructive analysis
- Some points in formal topology.
- Title not available (Why is that?)
- Constructive set theory
- Two subcategories of apartness spaces
- Title not available (Why is that?)
- Title not available (Why is that?)
- Aspects of general topology in constructive set theory
- On the collection of points of a formal space
- Title not available (Why is that?)
- Strong and Uniform Continuity – the Uniform Space Case
Cited In (6)
- Uniform locales and their constructive aspects
- Localic completion of uniform spaces
- The uniform boundedness theorem and a boundedness principle
- 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)
