Compactness under constructive scrutiny
From MaRDI portal
Publication:3159411
DOI10.1002/malq.200310119zbMath1060.03084MaRDI 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
Related Items
Nets and reverse mathematics, Completeness and cocompleteness of the categories of basic pairs and concrete spaces, The anti-Specker property, a Heine-Borel property, and uniform continuity, Kronecker's density theorem and irrational numbers in constructive reverse mathematics, Glueing continuous functions constructively, Sequences of real functions on [0,1 in constructive reverse mathematics], Continuity and Lipschitz constants for projections, Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem, The anti-Specker property, positivity, and total boundedness