, 2012, 'Ramsification and inductive inference', Synthese 187 (2), 569-577.
, 2003a, 'Hilbert's program revisited', Synthese 137 (1-2), 157-177.
, 2003b, 'More on Putnam and Tarski', Synthese 135 (1), 37-47.
, 2000, 'Algorithmic information theory and undecidability', Synthese 123 (2), 217-225.
, 1998a, 'Simplicity and incompleteness', Synthese 116 (3), 357-364.