with Wuppuluri, S. (eds) , 2018, The map and the territory: exploring the foundations of science, thought and reality, Springer, Dordrecht.
, 2017, Gödel incompleteness and the empirical sciences, in S. Wuppuluri & G. Ghirardi (eds.), Space, time and the limits of human understanding, Dordrecht, Springer, pp. 443-460.
, 2011, Einstein, Gödel, and the mathematics of time, in D. Krause & A. A. Passos Videira (eds.), Brazilian studies in philosophy and history of science, Dordrecht, Springer, pp. 269-279.
, 2007, 'Informal versus formal mathematics', Synthese 154 (3), 401-415.
with Da Costa, N.C.A. , 2003, On some recent undecidability and incompleteness results in the axiomatized sciences, in G. Fløistad (ed.), Philosophy of Latin America, Dordrecht, Springer, pp. 273-284.
, 2000a, 'Is there a simple, pedestrian arithmetic sentence which is independent of ZFC?', Synthese 125 (1-2), 69-76.