António M. Fernandes

The Baire category theoremover a feasible base theory

Stephen G. Simpson, S. G. Simpson, António M. Fernandes, 2016 .

Analysis in weak systems

Gilda Ferreira, Fernando Ferreira, António M. Fernandes, 2017 .

Groundwork for weak analysis

Fernando Ferreira, António M. Fernandes, Fernando Ferreira, 2002, Journal of Symbolic Logic.

Strict $${\Pi^1_1}$$-reflection in bounded arithmetic

António M. Fernandes, António M. Fernandes, 2010, Arch. Math. Log..