scientific article; zbMATH DE number 5044329
From MaRDI portal
Publication:5480940
zbMATH Open1108.03058MaRDI QIDQ5480940FDOQ5480940
Authors: Erik Palmgren, Peter Schuster 
Publication date: 7 August 2006
Title of this publication is not available (Why is that?)
Recommendations
- Apartness spaces as a framework for constructive topology
- Separatedness in constructive topology
- Apartness, Topology, and Uniformity: a Constructive View
- scientific article; zbMATH DE number 6736265
- scientific article; zbMATH DE number 2247258
- Separation in point-free topology
- scientific article; zbMATH DE number 5812471
- scientific article; zbMATH DE number 3921494
- Formal Topology and Univalent Foundations
- scientific article; zbMATH DE number 1531375
Frames, locales (06D22) Other constructive mathematics (03F65) Topological spaces and generalizations (closure spaces, etc.) (54A05) Proximity structures and generalizations (54E05) Nearness spaces (54E17) Constructive and recursive analysis (03F60)
Cited In (8)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Two subcategories of apartness spaces
- Some points in formal topology.
- Apartness spaces as a framework for constructive topology
- Apartness and uniformity. A constructive development.
- Independence results in formal topology
- Quasi-apartness and neighbourhood spaces
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5480940)
