Journal | Contributors | Profile

(2012). Ramsification and inductive inference. Synthese 187 (2), pp. 569-577.

(2003). Hilbert's program revisited. Synthese 137 (1-2), pp. 157-177.

(2003). More on Putnam and Tarski. Synthese 135 (1), pp. 37-47.

(2000). Algorithmic information theory and undecidability. Synthese 123 (2), pp. 217-225.

(1998). Simplicity and incompleteness. Synthese 116 (3), pp. 357-364.