Panu Raatikainen
Ramsification and inductive inference
2012
Synthese 187/2
Hilbert's program revisited
2003
Synthese 137/1-2
More on Putnam and Tarski
2003
Synthese 135/1
Algorithmic information theory and undecidability
2000
Synthese 123/2
Simplicity and incompleteness
1998
Synthese 116/3