scientific article; zbMATH DE number 4134040

MaRDI QIDQ3035281zbMATH OpenFDO

Authors Douglas K. Brown

Publication date 1990

zbMATH Keywords

weak subsystems of second order arithmeticclosed subset of a complete separable metric space

Mathematics Subject Classification ID

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

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

(12)

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

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)