scientific article; zbMATH DE number 4134040

zbMATH Open0693.03041MaRDI QIDQ3035281FDOQ3035281

Authors: Douglas K. Brown 

Publication date: 1990

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

• The reverse mathematics of the Tietze extension theorem
• The Baire category theorem in weak subsystems of second-order arithmetic
• Title not available (Why is that?)
• 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
• Connecting real and hyperarithmetical analysis
• Fundamental notions of analysis in subsystems of second-order arithmetic
• Countable sets versus sets that are countable in reverse mathematics
• Title not available (Why is that?)

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)