Results 1 
2 of
2
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
The paper establishes, within constructive mathematics, a full and faithful
Nonconstructive aspects of topology
, 2008
"... Inductively generated formal topologies Topology and choice principles It is wellknown that some basic theorems classical topology use (and require) the full Axiom of Choice: Tychonov’s Theorem (AC): If (Xi)i∈I is a family of (covering) compact spaces then the product topology is compact. Special c ..."
Abstract
 Add to MetaCart
Inductively generated formal topologies Topology and choice principles It is wellknown that some basic theorems classical topology use (and require) the full Axiom of Choice: Tychonov’s Theorem (AC): If (Xi)i∈I is a family of (covering) compact spaces then the product topology is compact. Special case: The Cantor space C = {0, 1} N is compact. i∈I