António Marques Fernandes

According to our database¹, António Marques Fernandes authored at least 3 papers between 2002 and 2010.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2010

Strict P<sup>1</sup><sub>1</sub>-reflection in bounded arithmetic.

[DOI]

Arch. Math. Log., 2010

2002

Groundwork for Weak Analysis.

[DOI]

J. Symb. Log., 2002

A new conservation result of WKL0 over RCA0.

[DOI]

Arch. Math. Log., 2002