A proof–technique in uniform space theory

DOI10.2178/JSL/1058448439zbMath1075.03033OpenAlexW2103998599MaRDI QIDQ3160570

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

Publication date: 9 February 2005

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1058448439

zbMATH Keywords

sequential continuityuniform spacesconstructive topology

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Uniform structures and generalizations (54E15)

Related Items (3)

Uniform structures in the beginning of the third millenium ⋮ Strong and Uniform Continuity – the Uniform Space Case ⋮ Lebesgue's dominated convergence theorem in Bishop's style

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• A weak countable choice principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A proof–technique in uniform space theory