Embeddings of countable closed sets and reverse mathematics

DOI10.1007/BF01270467zbMath0785.03040MaRDI QIDQ1313599

Jeffry L. Hirst

Publication date: 21 April 1994

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

topological comparabilitycountable closed locally compact subsets of complete separable metric spacessubsystem of second order arithmetic

Mathematics Subject Classification ID

Complete metric spaces (54E50) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

2007 Annual Meeting of the Association for Symbolic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak comparability of well orderings and reverse mathematics
• Reverse mathematics and homeomorphic embeddings
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?
• Uniformly defined descending sequences of degrees

This page was built for publication: Embeddings of countable closed sets and reverse mathematics