Takako Nemoto's Web Page
I am a postdoc in
Research Group for Theoretical Computer Science and Logic
at Institute of Computer Science and Applied Mathematics, University of Bern.
In March 2009, I finished my Ph. D study under the supervision of
Prof. Kazuyuki Tanaka at
Mathematical Institute of Tohoku University.
Here is my thesis (107 pages).
My cv is available.
Publications
(refereed)
-
Infinite games in the Cantor space and subsystems of second order arithmetic,
(with M. O. Medsalem and
K. Tanaka)
Mathematical Logic Quarterly, Volume 53, Issue 3 (2007), pp. 226 - 236.
-
Complete determinacy and subsystems of second order arithmetic,
Arnold Beckmann, Costas Dimitracopoulos, and Benedikt Löwe (eds.):
Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece,
June 2008, Proceedings, Lecture Notes in Computer Science 5028, 457 - 466
-
Determinacy of Wadge classes and subsystems of second order arithmetic,
accepted for publication in Mathematical Logic Quarterly.
Please see also ``Corrigendum of Determinacy of Wadge classes and subsystems of second order arithmetic,'' which can be found below.
-
Infinite games from an intuitionistic point of view,
Proceedings of Student Session,
European Summer School of Logic, Language and Information 2008, pp125 - 134.
- Weak weak König's lemma in constructive reverse mathematics,
accepted for publication in the Proceedings of the 10th Asian Logic Conference.
(unrefereed)
Preprints
Talks
(refereed)
- Complete determinacy and subsystems of second order arithmetic,
Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008.
- Infinite games from an intuitionistic point of view,
Student Session, European Summer School of Logic, Language and Information 2008, Hamburg, Germany, August 2008.
- Weak weak König's lemma in constructive reverse mathematics,
10th Asian logic conference, Kobe, September 2008
- Determinacy of Wadge classes in the Baire space and simple
iteration of inductive definition,
Logic Colloquium 2009, Sofia, August 2009.
(unrefereed)
- Weak weak axioms of determinacy and subsystems of second order
arithmetic,
Young logicians' gathering Japan, Tokyo, November 20, 2005
- Infinite games in the Cantor space and subsystems of second order
arithmetic,
Mathematical Society of Japan meeting, Tokyo, March 27, 2006
- A fine hierarchy of determinacy in second order arithmetic,
Proof theory in arithmetic, Kyoto, August 2006
- Infinite game from an intuitionistic point of view,
Symbolic Logic and Computer Science, Tokyo, September 18, 2007
- Infinite game from the intuitionistic point of view,
Mathematical Society of Japan meeting, Sendai, September 24, 2007
- Brouwer's fan theorem vs. weak König's lemma,
Young logicians' gathering Japan, Yaizu, October 28, 2007
- Determinacy of Wadge classes and inductions of second order
arithmetic,
Proof theory 2007, Tokyo, December 3, 2007
- Determinacy of Wadge classes and induction axioms of second order arithmetic,
Set theory meeting in Kobe, Kobe, March 21, 2008
- Weak weak König's lemma in
constructive reverse mathematics,
Workshop on Costructivism, Logic and Mathematics, Kanazawa,
May 26, 2008
- Determinacy of Wadge classes in Baire space,
Proof theoretical study of the structure of logic
and computation, Kyoto, September 10, 2008
- Game theory in economics and Blackwell determinacy from an
intuitionistic point of view,
Seminar on Lambda calculus and Logic in the end of summer,
Kusatsu, September 19, 2008
- The initial player is the winning player?---various games from an
intuitionistic point of view,
Young logicians' gathering Japan, Tokyo, November 30, 2008
- Hierarchy of determinacy and ACA0+,
Sendai Logic and Philosophy Seminar, Matsushima, February 23, 2009
- WWKL and Lebesgue measure,
Miniworkshop on Logic, Constructive
Mathematics, and Reverse Mathematics,
Munich, August 11, 2009
- CZF and the notion of set generation,
Proof theory 2009, Inawashiro, February 22, 2010
Contact Information
E-mail address: nemototakako [at] gmail [dot] com
(old e-mail address: sa4m20@math.tohoku.ac.jp)
Affiliation:
Institute of Computer Science and Applied Mathematics,
University of Bern
Address:
Neubückstrasse 10
3012 Bern
Switzerland
April 6, 2010
|
|