Takako Nemoto - RankMe

15 papers C 1Journal 14

Year	Rank	Type	Title / 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