Almost new pre-apartness from old

DOI10.1016/j.apal.2011.12.023zbMath1251.03083OpenAlexW1998886119MaRDI QIDQ424542

Douglas S. Bridges

Publication date: 1 June 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.12.023

zbMATH Keywords

frameapartnessconstructive topology

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Frames, locales (06D22) Nearness spaces (54E17) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)

Cites Work

• Pre-apartness structures on spaces of functions
• Apartness, compactness and nearness
• Some points in formal topology.
• Apartness spaces as a framework for constructive topology
• How to construct a product of a-frames
• Apartness and Uniformity
• The point of pointless topology
• Product a‐frames and proximity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Almost new pre-apartness from old