scientific article; zbMATH DE number 4134040

MaRDI QIDQ3035281zbMATH OpenFDO

Authors Douglas K. Brown

Publication date 1990

zbMATH Keywords

closed subset of a complete separable metric spaceweak subsystems of second order arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Constructive and recursive analysis (03F60) Other constructive mathematics (03F65) Compact (locally compact) metric spaces (54E45) Complete metric spaces (54E50)

Recommendations

• scientific article; zbMATH DE number 2236626
• Reverse mathematics of separably closed sets
• Fundamental notions of analysis in subsystems of second-order arithmetic
• scientific article; zbMATH DE number 3967423
• Reverse mathematics and homeomorphic embeddings

Cited in

(15)

• Reverse mathematics and homeomorphic embeddings
• Embeddings of countable closed sets and reverse mathematics
• Fundamental notions of analysis in subsystems of second-order arithmetic
• Lifting proofs from countable to uncountable mathematics
• The reverse mathematics of the Tietze extension theorem
• The Baire category theorem in weak subsystems of second-order arithmetic
• scientific article; zbMATH DE number 3967423 (Why is no real title available?)
• Countable sets versus sets that are countable in reverse mathematics
• scientific article; zbMATH DE number 2236626 (Why is no real title available?)
• A note on continuous functions on metric spaces
• Connecting real and hyperarithmetical analysis
• Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
• Properties of range sets of continuous functions in reverse mathematics
• The biggest five of reverse mathematics
• Hybrid maximal filter spaces

This page was built for publication:

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