Results 1 
4 of
4
A constructive and functorial embedding of locally compact metric spaces
, 2006
"... The paper establishes, within constructive mathematics, a full and faithful ..."
Abstract

Cited by 7 (3 self)
 Add to MetaCart
(Show Context)
The paper establishes, within constructive mathematics, a full and faithful
Under consideration for publication in Math. Struct. in Comp. Science Spatiality for formal topologies
, 2006
"... We define what it means for a formal topology to be spatial, and investigate properties related to spatiality both in general and in examples. 1. ..."
Abstract
 Add to MetaCart
We define what it means for a formal topology to be spatial, and investigate properties related to spatiality both in general and in examples. 1.
Nonconstructive aspects of topology
, 2008
"... Notes and slides will materialise at www.math.uu.se/˜palmgren ..."