Game-theoretic inductive definability
The authors use game-theoretic ideas to define a generalization of the notion of inductive definability. This approach allows induction along non-well-founded trees. In the main results the authors prove an abstract Kleene Theorem and restricted versions of the Stage-Comparison Theorem and the Reduction Theorem.
scientific article; zbMATH DE number 503016
scientific article