Apartness and uniformity. A constructive development.

DOI10.1007/978-3-642-22415-7MaRDI QIDQ3092706zbMATH OpenOpenAlexFDO

Authors Douglas Bridges, Luminiţa Viţă

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

apartnessconstructive mathematicstopologyuniformity

Mathematics Subject Classification ID

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

Recommendations

• Apartness, Topology, and Uniformity: a Constructive View
• Apartness spaces as a framework for constructive topology
• Strong Versus Uniform Continuity: A Constructive Round
• scientific article; zbMATH DE number 5044329
• Journey into Apartness Space

Cited in

(31)

• A constructive theory of point-set nearness.
• Apartness spaces as a framework for constructive topology
• Closed subsets in Bishop topological groups
• Inverse semigroups with apartness
• Precompact apartness spaces
• Atomicity, coherence of information, and point-free structures
• Apartness spaces and uniform neighbourhood structures
• How to construct a product of a-frames
• Basic notions of (constructive) semigroups with apartness
• A constructive treatment of Urysohn's Lemma in an apartness space
• A discrete duality between apartness algebras and apartness frames
• Almost new pre-apartness from old
• Strong Versus Uniform Continuity: A Constructive Round
• Compactness notions for an apartness space
• Apartness, Topology, and Uniformity: a Constructive View
• On co-filters in semigroups with apartness
• AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
• The Urysohn extension theorem for Bishop spaces
• Semigroups with apartness
• Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
• On Small Types in Univalent Foundations
• Apartness, sharp elements, and the Scott topology of domains
• Reflections on function spaces
• Two subcategories of apartness spaces
• Sharp elements and apartness in domains
• On the Weihrauch degree of the additive Ramsey theorem
• Hilbert's tenth problem for term algebras with a substitution operator
• Complemented subsets and Boolean-valued, partial functions
• A journey through constructive inverse semigroups with apartness
• Abstract convexity in KKM theorems via set-valued maps
• Apartness, compactness and nearness

This page was built for publication: Apartness and uniformity. A constructive development.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3092706)