According to our database1, Takako Nemoto authored at least 8 papers between 2007 and 2019.
Legend:Book In proceedings Article PhD thesis Other
Equivalents of the finitary non-deterministic inductive definitions.
Ann. Pure Appl. Logic, 2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Arch. Math. Log., 2019
A note on the independence of premiss rule.
Math. Log. Q., 2016
Generalized geometric theories and set-generated classes.
Mathematical Structures in Computer Science, 2015
Some principles weaker than Markov's principle.
Arch. Math. Log., 2015
Determinacy of Wadge classes and subsystems of second order arithmetic.
Math. Log. Q., 2009
Complete Determinacy and Subsystems of Second Order Arithmetic.
Proceedings of the Logic and Theory of Algorithms, 2008
Infinite games in the Cantor space and subsystems of second order arithmetic.
Math. Log. Q., 2007