Publication:3627310
From MaRDI portal
zbMath1168.03048MaRDI QIDQ3627310
Douglas S. Bridges, Luminiţa Simona Vîţă
Publication date: 18 May 2009
Full work available at URL: http://www.jams.or.jp/scm/abstract/e-2008/2008-56a.txt
03F60: Constructive and recursive analysis
06D22: Frames, locales
54E17: Nearness spaces
54E05: Proximity structures and generalizations
03F65: Other constructive mathematics
Related Items
Almost new pre-apartness from old, Reflections on function spaces, How to construct a product of a-frames