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.
Earthquake&Tsunami/Teaching/Publications/Preprints/Talks/Contact information
As you may know, a huge earthquake and tsumami attacked the north part of Honshu island, the biggest island of Japan.
Both Higashimatsushima, where I was brought up, and Sendai, where I did my undergraduate&graduate studies, belong to the region, and have been seriously damaged.
Fortunately, all of my family members and my colleagues in Sendai
(Prof. Tanaka group) have survived almost safely, but more than 10,000 people have been killed.
Your donations are greatly appreciated!
Japanese Red Cross Society, Earthquake Donation
(paypal is available!)
(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, pp. 457 - 466
-
Determinacy of Wadge classes and subsystems of second order arithmetic,
Mathematical Logic Quarterly, Volume 55, Issue 2, February 2009, pp. 154 - 176.
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,
Proceeding of the 10th Asian Logic Conference,pp263 - 270.
(unrefereed)
(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.
- CZF and the notion of set generation
(with Hajime Ishihara),
Logic Colloquium 2010, Paris, France
- Determinacy and $\Pi^1_1$ transfinite recursion along $\omega$,
8th Panhellenic Logic Symposium, Ioannina, Greece, July 2011
Ioannina, Greece, extended abstract
- A system of explicit mathematics and $\Pi_3$ reflection,
Logic Colloquium 2011, Barcelona, Spain, July 2011
(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
- Set-generated class in constructive set theory,
Constructive Mathematics: Proofs and Computation, Chiemsee, Germany, June 8, 2010
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:
Neubrückstrasse 10
3012 Bern
Switzerland
Mirror site