Francisco Antonio Doria
Gödel incompleteness and the empirical sciences
2017
in: Space, time and the limits of human understanding, Dordrecht : Springer
Einstein, Gödel, and the mathematics of time
2011
in: Brazilian studies in philosophy and history of science, Dordrecht : Springer
Informal 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