Compactness under constructive scrutiny

DOI10.1002/malq.200310119zbMath1060.03084OpenAlexW2031942085MaRDI QIDQ3159411

Hajime Ishihara, Peter M. Schuster

Publication date: 16 February 2005

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200310119

zbMATH Keywords

constructive mathematicscompact metric space

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Constructive and recursive analysis (03F60)

Related Items

Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem, The anti-Specker property, a Heine-Borel property, and uniform continuity, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Completeness and cocompleteness of the categories of basic pairs and concrete spaces, The anti-Specker property, positivity, and total boundedness, Glueing continuous functions constructively, Sequences of real functions on [0,1 in constructive reverse mathematics], Nets and reverse mathematics, Continuity and Lipschitz constants for projections