Game-theoretic inductive definability (Q1314543): Difference between revisions

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.