Apartness and Uniformity
From MaRDI portal
Publication:3092706
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
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
