Compactness under constructive scrutiny

DOI10.1002/MALQ.200310119MaRDI QIDQ3159411zbMATH OpenOpenAlexFDO

Authors Hajime Ishihara, Peter 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

compact metric spaceconstructive mathematics

Mathematics Subject Classification ID

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

Recommendations

• Compactness in constructive analysis revisited
• Compactoidness
• Compactness and contradiction
• scientific article; zbMATH DE number 3983870
• Compactness
• scientific article; zbMATH DE number 4166039
• Compactness
• scientific article; zbMATH DE number 832771

Cited in

(28)

• Sequences of real functions on [0,1] in constructive reverse mathematics
• Continuity and Lipschitz constants for projections
• Compactness in constructive analysis revisited
• Intuitionistic sequential compactness?
• The Kripke schema in metric topology
• Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
• The anti-Specker property, positivity, and total boundedness
• scientific article; zbMATH DE number 27428 (Why is no real title available?)
• Finitary sequence spaces
• scientific article; zbMATH DE number 1948156 (Why is no real title available?)
• More reflections on compactness
• scientific article; zbMATH DE number 2027849 (Why is no real title available?)
• An Alternative to Compactification
• scientific article; zbMATH DE number 943185 (Why is no real title available?)
• Nets and reverse mathematics
• Overcomplete sets in non-separable Banach spaces
• Compactness in metric spaces
• scientific article; zbMATH DE number 5236174 (Why is no real title available?)
• Generalising compactness
• A Weak Constructive Sequential Compactness Property and the Fan Theorem
• scientific article; zbMATH DE number 2247263 (Why is no real title available?)
• scientific article; zbMATH DE number 2247264 (Why is no real title available?)
• Completeness and cocompleteness of the categories of basic pairs and concrete spaces
• Metric spaces in synthetic topology
• Parthasarathy, shift-compactness and infinite combinatorics
• 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

This page was built for publication: Compactness under constructive scrutiny

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3159411)