Journey into Apartness Space (Q3613304)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Journey into Apartness Space |
scientific article |
Statements
Journey into Apartness Space (English)
0 references
12 March 2009
0 references
constructive topology
0 references
point-free topology
0 references
axiomatic theory of apartness spaces
0 references
apartness on frames
0 references