Takako Nemoto
According to our database^{1},
Takako Nemoto
authored at least 7 papers
between 2007 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at andrej.com
On csauthors.net:
Bibliography
2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Arch. Math. Log., 2019
2016
A note on the independence of premiss rule.
Math. Log. Q., 2016
2015
Generalized geometric theories and setgenerated classes.
Mathematical Structures in Computer Science, 2015
Some principles weaker than Markov's principle.
Arch. Math. Log., 2015
2009
Determinacy of Wadge classes and subsystems of second order arithmetic.
Math. Log. Q., 2009
2008
Complete Determinacy and Subsystems of Second Order Arithmetic.
Proceedings of the Logic and Theory of Algorithms, 2008
2007
Infinite games in the Cantor space and subsystems of second order arithmetic.
Math. Log. Q., 2007