A predicative completion of a uniform space

Josef Berger, Hajime Ishihara, Erik Palmgren, Peter Schuster. A predicative completion of a uniform space. Annals of Pure and Applied Logic, 163(8):975-980, 2012. [doi]

@article{BergerIPS12,
  title = {A predicative completion of a uniform space},
  author = {Josef Berger and Hajime Ishihara and Erik Palmgren and Peter Schuster},
  year = {2012},
  doi = {10.1016/j.apal.2011.12.022},
  url = {http://dx.doi.org/10.1016/j.apal.2011.12.022},
  researchr = {https://researchr.org/publication/BergerIPS12},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {163},
  number = {8},
  pages = {975-980},
}