Publication:2752158
From MaRDI portal
zbMath0999.54021MaRDI QIDQ2752158
Douglas S. Bridges, Peter M. Schuster, Luminiţa Simona Vîţă
Publication date: 16 January 2002
Related Items
Supermetrics over Apartness Lattice-Ordered Semigroup, Unnamed Item, A predicative completion of a uniform space, The uniform boundedness theorem and a boundedness principle, Two subcategories of apartness spaces, Extending strongly continuous functions between apartness spaces, Unique existence, approximate solutions, and countable choice., A constructive theory of point-set nearness., Apartness spaces as a framework for constructive topology, A proof–technique in uniform space theory, Almost locatedness in uniform spaces