Reverse mathematics of separably closed sets

DOI10.1007/S00153-005-0298-7zbMATH Open1090.03032OpenAlexW2130096887MaRDI QIDQ2580957

Jeffry L. Hirst

Publication date: 10 January 2006

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

Full work available at URL: https://doi.org/10.1007/s00153-005-0298-7

zbMATH Keywords

reverse mathematicsarithmetic comprehensionseparably closed sets

Mathematics Subject Classification ID

Compact (locally compact) metric spaces (54E45) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Title not available (Why is that?)
• Minima of initial segments of infinite sequences of reals

Related Items (2)

Reverse mathematical bounds for the termination theorem ⋮ Representations of Reals in Reverse Mathematics

Recommendations

• Reverse mathematics and order theoretic fixed point theorems 👍 👎
• Embeddings of countable closed sets and reverse mathematics 👍 👎
• Located sets and reverse mathematics 👍 👎
• Set Existence Principles and Closure Conditions: Unravelling the Standard View of Reverse Mathematics† 👍 👎
• Open sets in computability theory and reverse mathematics 👍 👎
• Reverse Mathematics of Separation Theorems in Lattice Theory 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication: Reverse mathematics of separably closed sets

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