Fundamental notions of analysis in subsystems of second-order arithmetic. - Jeremy Avigad; Ksenija Simic (Ann. Pure Appl. Log., 2006)

The pointwise ergodic theorem in subsystems of second-order arithmetic. - Ksenija Simic (J. Symb. Log., 2007)