nLab Mark Mandelkern

Selected writings

Selected writings

On constructive topology:

On the limited principle of omniscience and the Bolzano-Weierstrass theorem in constructive mathematics:

On finite subsets of a metric spaces that are a complete metric space in constructive mathematics:

category: people

Last revised on June 18, 2026 at 19:51:32. See the history of this page for a list of all contributions to it.