Fundamental notions of analysis in subsystems of second-order arithmetic (0)

by Jeremy Avigad, Ksenija Simic
Venue:MR2206254 (2007f:03098), Zbl 1109.03069, doi: 10.1016/j.apal.2005.03.004