Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleTHEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS.AuthorsBARNES, JAMES S.; GOH, JUN LE; SHORE, RICHARD A.SubjectsMATHEMATICS theorems; REVERSE mathematics; ITERATIVE methods (Mathematics); ARITHMETIC; GRAPH theoryPublicationBulletin of Symbolic Logic, 2022, Vol 28, Issue 1, p133ISSN1079-8986Publication typeArticleDOI10.1017/bsl.2021.70