1. An arithmetical hierarchy of the law of excluded middle and related principles;Akama,2004
2. Non-branching degrees in the Medvedev lattice of Π10 classes;Alfeld;J. Symbolic Logic,2007
3. More on Wadge determinacy;Andretta;Ann. Pure Appl. Logic,2006
4. Some intuitionistic equivalents of classical principles for degree 2 formulas;Berardi;Ann. Pure Appl. Logic,2006
5. Games with 1-backtracking;Berardi;Ann. Pure Appl. Logic,2010