Almost new pre-apartness from old
From MaRDI portal
Publication:424542
DOI10.1016/j.apal.2011.12.023zbMath1251.03083OpenAlexW1998886119MaRDI QIDQ424542
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
Constructive and recursive analysis (03F60) Frames, locales (06D22) Nearness spaces (54E17) Proximity structures and generalizations (54E05) Other constructive mathematics (03F65)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
This page was built for publication: Almost new pre-apartness from old