Minima of initial segments of infinite sequences of reals

DOI10.1002/MALQ.200310075zbMATH Open1042.03038OpenAlexW2054926747MaRDI QIDQ4458700FDOQ4458700

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

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

zbMATH Keywords

computable analysisreverse mathematicsconstructive analysis

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)

Cited In (3)

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

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)