Reverse mathematics of separably closed sets

DOI10.1007/S00153-005-0298-7MaRDI QIDQ2580957zbMATH OpenOpenAlexFDO

Authors 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

arithmetic comprehensionreverse mathematicsseparably closed sets

Mathematics Subject Classification ID

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

Review text

This short note is a contribution to the program of reverse mathematics (\textit{S. G. Simpson}'s book [Subsystems of second order arithmetic. Springer, Berlin (1999; Zbl 0909.03048)] is the main reference). \textit{D. K. Brown} [in: Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 39--50 (1990; Zbl 0693.03041)] studied different notions of closed set in Polish spaces and the strength of statements about the equivalence of these notions. In particular he claimed the equivalence of the statement ``in a compact Polish space every closed set is separably closed\ to \(\mathbf{ACA}_0\) over the weak base system \(\mathbf{RCA}_0\). Brown's proof of the reversal (i.e.\ the fact that \(\mathbf{RCA}_0\) plus the statement imply \(\mathbf{ACA}_0\)) however had a problem, and in this note Hirst provides a correct proof of this implication.

Recommendations

• Embeddings of countable closed sets and reverse mathematics
• Reverse Mathematics of Separation Theorems in Lattice Theory
• scientific article; zbMATH DE number 2247263
• scientific article; zbMATH DE number 2236628
• Set existence principles and closure conditions: unravelling the standard view of reverse mathematics
• Open sets in computability theory and reverse mathematics
• scientific article; zbMATH DE number 4187802
• Reverse mathematics and order theoretic fixed point theorems
• Reverse mathematics and well-ordering principles
• Located sets and reverse mathematics

Cites work

• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• Minima of initial segments of infinite sequences of reals

Cited in

(10)

• Embeddings of countable closed sets and reverse mathematics
• A study of singular points and supports of measures in reverse mathematics
• scientific article; zbMATH DE number 4134040 (Why is no real title available?)
• The Kripke schema in metric topology
• Reverse mathematical bounds for the termination theorem
• Separation and Weak König's Lemma
• Contrary Statements About Mathematics
• Located sets and reverse mathematics
• Representations of Reals in Reverse Mathematics
• scientific article; zbMATH DE number 2236635 (Why is no real title available?)

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)