1. An arithmetical hierarchy of the law of excluded middle and related principles;Akama,2004
2. A generalization of conservativity theorem for classical versus intuitionistic arithmetic;Berardi;Mathematical Logic Quarterly,2004
3. S. Berardi, An intuitionistic model of Delta-0-2 maps …, University of Turin, Technical Report, 2005
4. S. Berardi, S. Valentini, Between formal topology and game theory, Padua University, Internal Report, 2004
5. S. Hayashi, Mathematics based on Learning, in: Algorithmic Learning Theory, Springer LNAI, vol. 2533, 2002, pp. 7–21, Theory of Computing Systems (in press)