Product a‐frames and proximity

DOI10.1002/malq.200710033zbMath1134.03035OpenAlexW1999630959MaRDI QIDQ5448612

Douglas S. Bridges

Publication date: 7 March 2008

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200710033

zbMATH Keywords

compactnessconstructive mathematicsapartness spaces

Mathematics Subject Classification ID

Compactness (54D30) Constructive and recursive analysis (03F60) Frames, locales (06D22) Proximity structures and generalizations (54E05)

Related Items

How to construct a product of a-frames ⋮ Almost new pre-apartness from old ⋮ Reflections on function spaces

Cites Work

• Techniques of constructive analysis
• Unnamed Item
• Unnamed Item

This page was built for publication: Product a‐frames and proximity