On sequential theorems in reverse mathematics

DOI10.1007/S00153-025-00991-4MaRDI QIDQ6857832zbMATH OpenFDO

Authors Dag Normann, Sam Sanders

Publication date 16 February 2026

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

zbMATH Keywords

reverse mathematicssemi-continuityHeine-Borel theoremhigher-order arithmeticchoice principlesCICOC\(^{0,0}\)sequential theorems

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: On sequential theorems in reverse mathematics

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