, 2020, 'Two roads to the successor axiom', Synthese 197 (3), 1241-1261.
, 2017a, 'Accessibility of reformulated mathematical content', Synthese 194 (6), 2233-2250.