Infinite games in the Cantor space and subsystems of second order arithmetic. - Takako Nemoto; MedYahya Ould MedSalem; Kazuyuki Tanaka (Math. Log. Q., 2007)

Complete Determinacy and Subsystems of Second Order Arithmetic. - Takako Nemoto (CiE, 2008)

Determinacy of Wadge classes and subsystems of second order arithmetic. - Takako Nemoto (Math. Log. Q., 2009)

Some principles weaker than Markov's principle. - Makoto Fujiwara; Hajime Ishihara; Takako Nemoto (Arch. Math. Log., 2015)

Generalized geometric theories and set-generated classes. - Peter Aczel; Hajime Ishihara; Takako Nemoto; Yasushi Sangu (Math. Struct. Comput. Sci., 2015)

A note on the independence of premiss rule. - Hajime Ishihara; Takako Nemoto (Math. Log. Q., 2016)

The binary expansion and the intermediate value theorem in constructive reverse mathematics. - Josef Berger; Hajime Ishihara; Takayuki Kihara; Takako Nemoto (Arch. Math. Log., 2019)

Equivalents of the finitary non-deterministic inductive definitions. - Ayana Hirata; Hajime Ishihara; Tatsuji Kawai; Takako Nemoto (Ann. Pure Appl. Log., 2019)

On the independence of premiss axiom and rule. - Hajime Ishihara; Takako Nemoto (Arch. Math. Log., 2020)

Finite sets and infinite sets in weak intuitionistic arithmetic. - Takako Nemoto (Arch. Math. Log., 2020)

A constructive proof of the dense existence of nowhere-differentiable functions in C[0, 1]. - Takako Nemoto (Comput., 2020)

A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic. - Takako Nemoto; Sato Kentaro (J. Symb. Log., 2022)

Extended Frames and Separations of Logical Principles. - Makoto Fujiwara; Hajime Ishihara; Takako Nemoto; Nobu-Yuki Suzuki; Keita Yokoyama (Bull. Symb. Log., 2023)

Choice and independence of premise rules in intuitionistic set theory. - Emanuele Frittaion; Takako Nemoto; Michael Rathjen (Ann. Pure Appl. Log., 2023)