1. An arithmetical hierarchy of the law of excluded middle and related principles;Akama,2004
2. Interactive learning-based realizability for Heyting arithmetic with EM1;Aschieri;Log. Methods Comput. Sci.,2010
3. A new use of Friedman's translation: interactive realizability;Aschieri,2012
4. Interactive realizability for classical Peano arithmetic with Skolem axioms;Aschieri,2012
5. Interactive realizability for second-order Heyting arithmetic with EM1 and SK1;Aschieri;Math. Structures Comput. Sci.,2013