, 2019, 'Deduction and definability in infinite statistical systems', Synthese 196 (5), 1831-1861.
, 2016a, 'Unitary inequivalence in classical systems', Synthese 193 (9), 2685-2705.