Author:
Yoshii Keisuke,Tanaka Kazuyuki
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Bradfield, J.C.: Fixpoints, games and the difference hierarchy. Theor. Inform. Appl. 37, 1–15 (2003)
2. Bradfield, J.C.: The modal μ-calculus alternation hierarchy is strict. Theor. Comput. Sci. 195, 133–153 (1998)
3. Heinatsch, C., Möllerfeld, M.: The determinacy strength of
$\Pi^1_2$
-comprehension. Ann. Pure Appl. Logic 161, 1462–1470 (2010)
4. Mashiko, K., Tanaka, K., Yoshii, K.: Determinacy of the Infinite Games and Inductive Definition in Second Order Arithmetic. In: RIMS Kokyuroku, vol. 1729, pp. 167–177 (2011)
5. MedSalem, M.O., Tanaka, K.:
$\Delta^0_3$
-determinacy, comprehension and induction. Journal of Symbolic Logic 72, 452–462 (2007)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献