Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Y. N. Moschovakis, Elementary Induction on Abstract Structures, North Holland, 1974.
2. Y. N. Moschovakis, Structural characterizations of classes of relations, J. E. Fenstad and P. G. Hinman (Eds.), Generalized Recursion Theory, North Holland, 1974, 53–79.
3. P. Aczel, Games, Quantifiers and Inductive Definitions, Proc. of the 3rd Scandinavian Logic Symposium, S. Kanger (Ed.), North Holland, Amsterdam, 1975, 1–14.
4. P. Aczel, Stage Comparison theorems and game playing with inductive definitions, preprint, 1972.
5. W. Richter and P. Aczel, Inductive definitions and reflecting properties of admissible ordinals, in Generalized Recursion Theory, J. E. Fenstad and P. G. Hinman (Eds.), North Holland, 1974, 301–381.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Rethinking Revision;Journal of Philosophical Logic;2018-09-15
2. THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS;The Bulletin of Symbolic Logic;2018-09
3. Weak systems of determinacy and arithmetical quasi-inductive definitions;The Journal of Symbolic Logic;2011-06
4. Games for Truth;The Bulletin of Symbolic Logic;2009-12