Takako Nemoto

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 11

Top Topics

Logical Representation

Randomly Selected

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Bull. Symb. Log.

Math. Struct. Comput. Sci.

Publications

Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama
Extended Frames and Separations of Logical Principles. Bull. Symb. Log. 29 (3) (2023)
Emanuele Frittaion, Takako Nemoto, Michael Rathjen
Choice and independence of premise rules in intuitionistic set theory. Ann. Pure Appl. Log. 174 (9) (2023)
Takako Nemoto, Sato Kentaro
A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic. J. Symb. Log. 87 (2) (2022)
Takako Nemoto
A constructive proof of the dense existence of nowhere-differentiable functions in C[0, 1]. Comput. 9 (3-4) (2020)
Takako Nemoto
Finite sets and infinite sets in weak intuitionistic arithmetic. Arch. Math. Log. 59 (5-6) (2020)
Hajime Ishihara, Takako Nemoto
On the independence of premiss axiom and rule. Arch. Math. Log. 59 (7-8) (2020)
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
Equivalents of the finitary non-deterministic inductive definitions. Ann. Pure Appl. Log. 170 (10) (2019)
Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto
The binary expansion and the intermediate value theorem in constructive reverse mathematics. Arch. Math. Log. 58 (1-2) (2019)
Hajime Ishihara, Takako Nemoto
A note on the independence of premiss rule. Math. Log. Q. 62 (1-2) (2016)
Makoto Fujiwara, Hajime Ishihara, Takako Nemoto
Some principles weaker than Markov's principle. Arch. Math. Log. 54 (7-8) (2015)
Peter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu
Generalized geometric theories and set-generated classes. Math. Struct. Comput. Sci. 25 (7) (2015)
Takako Nemoto
Determinacy of Wadge classes and subsystems of second order arithmetic. Math. Log. Q. 55 (2) (2009)
Takako Nemoto
Complete Determinacy and Subsystems of Second Order Arithmetic. CiE (2008)
Takako Nemoto, MedYahya Ould MedSalem, Kazuyuki Tanaka
Infinite games in the Cantor space and subsystems of second order arithmetic. Math. Log. Q. 53 (3) (2007)