scientific article

zbMath0693.03041MaRDI QIDQ3035281

Douglas K. Brown

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items (8)

Countable sets versus sets that are countable in reverse mathematics ⋮ Fundamental notions of analysis in subsystems of second-order arithmetic ⋮ 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 ⋮ The reverse mathematics of the Tietze extension theorem ⋮ The Baire category theorem in weak subsystems of second-order arithmetic ⋮ Embeddings of countable closed sets and reverse mathematics

This page was built for publication: