A new conservation result of WKL0 over RCA0. - António Marques Fernandes (Arch. Math. Log., 2002)

Groundwork for Weak Analysis. - António Marques Fernandes; Fernando Ferreira 001 (J. Symb. Log., 2002)

Strict P11-reflection in bounded arithmetic. - António Marques Fernandes (Arch. Math. Log., 2010)