Francisco Antonio Doria
The map and the territory: exploring the foundations of science, thought and reality2018
with Wuppuluri Shyam (ed)
Dordrecht, Springer
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
Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?
2000
Synthese 125/1-2