Talks
[1]
A nonstandard counterpart of DNR (with Kojiro
Higuchi), Logic Colloquium 2010, Paris Diderot university, France, July 2010.
[2]
The strength of transfer
principles and Reverse Mathematics, Logic seminar,
[3]
Comparing non-standard axioms with axioms of
second-order arithmetic, Workshop on Constructive Aspects of Logic and
Mathematics, Kanazawa Excel Hotel Tokyu, March 2010.
[4]
On Pi^1_n+1 conservativity for Pi^1_n+2 theories,
Logic seminar, Logic seminar, University of Notre Dame, September 2009.
[5]
Non-standard analysis in second order arithmetic,
Logic seminar, University of Notre Dame, September 2009.
[6]
Reverse Mathematics for analysis and non-standard
analysis, Logic seminar,
[7]
Non-standard analysis in
non-standard second order arithmetic, the Asian Logic Conference 2009,
[8]
Non-standard
analysis within second order arithmetic, 08w5019, Computability, Reverse
Mathematics and Combinatorics, Banff International Research Station,
[9]
Formalizing
non-standard arguments in second order arithmetic, the Asian Logic Conference,
[10]
Reverse
Mathematics for Fourier expansion, the fourth conference on Computability
in Europe 2008,
[11]
Integration and differentiation in second order
arithmetic, Workshop on Constructivism: Logic and Mathematics,