From intuitionistic to point-free topology: some remarks on the foundation of homotopy theory (2006)

by E Palmgren
Venue:Special issue with papers from the second workshop on formal topology. Annals of Pure and Applied Logic 137
Add To MetaCart
Results 1 - 2 of 2

A constructive and functorial embedding of locally compact metric spaces

by Erik Palmgren , 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

Non-constructive aspects of topology

by Erik Palmgren, U Vi , 2008
"... Inductively generated formal topologies Topology and choice principles It is well-known 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 well-known 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