, 2012, Second order logic, set theory and foundations of mathematics, in P. Dybjer, S. Lindström, E. Palmgren & G. Sundholm (eds.), Epistemology versus ontology, Dordrecht, Springer, pp. 371-380.
with Abramsky, S. , 2009, 'From if to bi', Synthese 167 (2), 207-230.
, 2008a, 'The Craig interpolation theorem in abstract model theory', Synthese 164 (3), 401-420.