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:
Last revised on June 18, 2026 at 19:51:32. See the history of this page for a list of all contributions to it.