Apartness and Uniformity

DOI10.1007/978-3-642-22415-7zbMath1248.03002OpenAlexW2491176010MaRDI QIDQ3092706

Douglas S. Bridges, Luminiţa Simona Vîţă

Publication date: 20 September 2011

Published in: Theory and Applications of Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22415-7

zbMATH Keywords

uniformitytopologyconstructive mathematicsapartness

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general topology (54-01) Other constructive mathematics (03F65)

Related Items (18)

On co-Filters in Semigroups with Apartness ⋮ The Urysohn Extension Theorem for Bishop Spaces ⋮ Abstract convexity in KKM theorems via set-valued maps ⋮ AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS ⋮ Atomicity, coherence of information, and point-free structures ⋮ Apartness spaces and uniform neighbourhood structures ⋮ Basic notions of (constructive) semigroups with apartness ⋮ How to construct a product of a-frames ⋮ Inverse semigroups with apartness ⋮ On Small Types in Univalent Foundations ⋮ Almost new pre-apartness from old ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ Compactness notions for an apartness space ⋮ Reflections on function spaces ⋮ Two subcategories of apartness spaces ⋮ Semigroups with apartness ⋮ Closed subsets in Bishop topological groups ⋮ Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice

This page was built for publication: Apartness and Uniformity