Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition (Proof theoretical study of the structure of logic and computation)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 根元 多佳子

  東北大学理学研究科

関連論文

• On weak determinacy of infinite binary games(Study of definability in nonstandard models of arithmetic)
• Determinacy of Wadge classes in the Baire space and simple iteration of inductive definition (Proof theoretical study of the structure of logic and computation)

スポンサーリンク