Minima of initial segments of infinite sequences of reals

DOI10.1002/MALQ.200310075MaRDI QIDQ4458700zbMATH OpenOpenAlexFDO

Authors Jeffry L. Hirst

Publication date 15 March 2004

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

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

zbMATH Keywords

computable analysisconstructive analysisreverse mathematics

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) First-order arithmetic and fragments (03F30) Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Recommendations

• scientific article; zbMATH DE number 3924748
• Unique Existence and Computability in Constructive Reverse Mathematics
• Reverse mathematics, trichotomy and dichotomy
• scientific article; zbMATH DE number 2236647
• Derived sequences and reverse mathematics

Cited in

(3)

• The minimal extension of the sequence \(<0,0,3>\)
• Reverse mathematics of separably closed sets
• Unique Existence and Computability in Constructive Reverse Mathematics

This page was built for publication: Minima of initial segments of infinite sequences of reals

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