吉居 啓輔

A survey of determinacy of infinite games in second order arithmetic 

Annals of the Japana association for philosophy of science to appear 35-44 2017年  査読有り招待有り

Infinite games and transfinite recursion of multiple inductive definitions 

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7318 374-383 2012年  査読有り

Determinacy of Infinite Games and Inductive Definition in Second Order Arithmethic 

RIMS講究禄 1729 2011年2月