Francisco Antonio Doria
(2000-2009)
XInformal versus formal mathematics
2007
Synthese 154/3
On some recent undecidability and incompleteness results in the axiomatized sciences
2003
in: Philosophy of Latin America, Dordrecht : Springer
Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?
2000
Synthese 125/1-2