Parametric inductive definitions and recursive operators over the continuum
Volume 100 / 1978
Fundamenta Mathematicae 100 (1978), 9-15
DOI: 10.4064/fm-100-1-9-15