弱决定性系统与算术拟归纳定义
Weak systems of determinacy and arithmetical quasi-inductive definitions
摘要：
为了证明Sigma^0_3决定性介于Pi^1_3-CA_0（甚至是Pi^1_3-光面可定义参数的Pi^1_2-CA_0（光面））和Delta^1_3-CA_0 + AQI之间，我们在L-层次中找到了各种Sigma^0_3-博弈的获胜策略。(Here“AQI”是二阶数论中的陈述，即任何输入上的每个算术准归纳定义都是稳定的）。
英文摘要：
We locate winning strategies for various Sigma^0_3-games in the L-hierarchy in order to prove that Sigma^0_3 Determinacy is intermediate between Pi^1_3-CA_0 (even Pi^1_2-CA_0 (lightface) with Pi^1_3-lightface definable parameters allowed) and Delta^1_3-CA_0 + AQI. (Here "AQI" is the statement in second order number theory that every arithmeical quasi-inductive definition on any input stabilizes).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
