Derived sequences and reverse mathematics

DOI10.1002/MALQ.19930390148MaRDI QIDQ4304782zbMATH OpenOpenAlexFDO

Authors Jeffry L. Hirst

Publication date 24 January 1995

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19930390148

zbMATH Keywords

reverse mathematicsarithmetical transfinite recursionsubsystems of second order arithmetictopological comparabilityderived sequences

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Basic constructions in general topology (54B99)

Recommendations

• scientific article; zbMATH DE number 3924748
• Reverse mathematics and homeomorphic embeddings
• Embeddings of countable closed sets and reverse mathematics
• scientific article; zbMATH DE number 2019844
• scientific article; zbMATH DE number 2236637

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 728180 (Why is no real title available?)
• Reverse mathematics and ordinal exponentiation
• Subsystems of second order arithmetic
• Uniformly defined descending sequences of degrees
• Which set existence axioms are needed to prove the separable Hahn-Banach theorem?

Cited in

(7)

• scientific article; zbMATH DE number 2236638 (Why is no real title available?)
• What is effective transfinite recursion in reverse mathematics?
• Minima of initial segments of infinite sequences of reals
• Embeddings of countable closed sets and reverse mathematics
• The reverse mathematics of non-decreasing subsequences
• scientific article; zbMATH DE number 2236640 (Why is no real title available?)
• scientific article; zbMATH DE number 5001099 (Why is no real title available?)

This page was built for publication: Derived sequences and reverse mathematics

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