Takako Nemoto

15 papers C 1Journal 14
YearRankTypeTitle / Venue / Authors
2025 J jnl
Choice principles characterizing the difference between König's lemma and weak König's lemma in constructive reverse mathematics.
Comput.
Makoto Fujiwara, Takako Nemoto
2023 J jnl
Choice and independence of premise rules in intuitionistic set theory.
Ann. Pure Appl. Log.
Emanuele Frittaion, Takako Nemoto, Michael Rathjen
2023 J jnl
Extended Frames and Separations of Logical Principles.
Bull. Symb. Log.
Makoto Fujiwara, Hajime Ishihara, Takako Nemoto, Nobu-Yuki Suzuki, Keita Yokoyama
2022 J jnl
A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic.
J. Symb. Log.
Takako Nemoto, Sato Kentaro
2020 J jnl
A constructive proof of the dense existence of nowhere-differentiable functions in C[0, 1].
Comput.
Takako Nemoto
2020 J jnl
Finite sets and infinite sets in weak intuitionistic arithmetic.
Arch. Math. Log.
Takako Nemoto
2020 J jnl
On the independence of premiss axiom and rule.
Arch. Math. Log.
Hajime Ishihara, Takako Nemoto
2019 J jnl
Equivalents of the finitary non-deterministic inductive definitions.
Ann. Pure Appl. Log.
Ayana Hirata, Hajime Ishihara, Tatsuji Kawai, Takako Nemoto
2019 J jnl
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Arch. Math. Log.
Josef Berger, Hajime Ishihara, Takayuki Kihara, Takako Nemoto
2016 J jnl
A note on the independence of premiss rule.
Math. Log. Q.
Hajime Ishihara, Takako Nemoto
2015 J jnl
Generalized geometric theories and set-generated classes.
Math. Struct. Comput. Sci.
Peter Aczel, Hajime Ishihara, Takako Nemoto, Yasushi Sangu
2015 J jnl
Some principles weaker than Markov's principle.
Arch. Math. Log.
Makoto Fujiwara, Hajime Ishihara, Takako Nemoto
2009 J jnl
Determinacy of Wadge classes and subsystems of second order arithmetic.
Math. Log. Q.
Takako Nemoto
2008 C conf
Complete Determinacy and Subsystems of Second Order Arithmetic.
CiE
Takako Nemoto
2007 J jnl
Infinite games in the Cantor space and subsystems of second order arithmetic.
Math. Log. Q.
Takako Nemoto, MedYahya Ould MedSalem, Kazuyuki Tanaka