"inductive definition" . "definition by recursion" . "recursive" . . "recursively implemented" . . . "recursively" . . "Recursive set" . "defined inductively" . . "recursively defined" . "Recursive definition" . . . . "recursive definition" . . . "be recursively" . "defined recursively" . . . "recursively constructed" . . . "Recursive definition" . "Recursion theory" . . "axiom granting definition" . . "recurrence" . . . . . "inductively" . "recursion" . .