, 2015, 'Transfinite recursion and computation in the iterative conception of set', Synthese 192 (8), 2437-2462.