Parametric inductive definitions and recursive operators over the continuum

DOI10.4064/FM-100-1-9-15MaRDI QIDQ4172046zbMATH OpenOpenAlexFDO

Authors Douglas Cenzer

Publication date 1978

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/210960

zbMATH Keywords

Arithmetic OperatorClosure OrdinalContinuUmMonotone OperatorsParametric Inductive DefinitionsParametric Inductive OperatorRecursive Operators

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Cited in

(1)

• Inductively defined sets of reals

This page was built for publication: Parametric inductive definitions and recursive operators over the continuum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4172046)