根元 多佳子 | 東北大学理学研究科
スポンサーリンク
概要
関連著者
著作論文
- 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)