, 2007, 'Formalization, syntax and the standard model of arithmetic', Synthese 154 (2), 199-229.
, 2003a, 'Tarski on logical notions', Synthese 135 (3), 401-413.