Minima of initial segments of infinite sequences of reals

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

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

reverse mathematicscomputable analysisconstructive analysis

Mathematics Subject Classification ID

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

Related Items (2)

The minimal extension of the sequence \(<0,0,3>\) ⋮ Reverse mathematics of separably closed sets

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)