Dag Normann Sam Sanders On sequential theorems in Reverse Mathematics. 2026 February 275-295 65 Arch. Math. Log. 2 https://doi.org/10.1007/s00153-025-00991-4 db/journals/aml/aml65.html#NormannS26 streams/journals/aml