We stand with Ukraine  

Takako Nemoto

Orcid: 0000-0003-3898-6189

Affiliations:
  • Japan Advanced Institute of Science and Technology, Nomi, Ishikawa, Japan
  • Tohoku University, Sendai, Miyagi, Japan


According to our database1, Takako Nemoto authored at least 14 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Choice and independence of premise rules in intuitionistic set theory.
[BibTeX]
[DOI]
Emanuele Frittaion
,
Takako Nemoto
,
Michael Rathjen
Ann. Pure Appl. Log., October, 2023

Extended Frames and Separations of Logical Principles.
[BibTeX]
[DOI]
Makoto Fujiwara
,
Hajime Ishihara
,
Takako Nemoto
,
Nobu-Yuki Suzuki
,
Keita Yokoyama
Bull. Symb. Log., September, 2023

2022
A Marriage of Brouwer's Intuitionism and Hilbert's finitism I: Arithmetic.
[BibTeX]
[DOI]
Takako Nemoto
,
Sato Kentaro
J. Symb. Log., 2022

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

Finite sets and infinite sets in weak intuitionistic arithmetic.
[BibTeX]
[DOI]
Takako Nemoto
Arch. Math. Log., 2020

On the independence of premiss axiom and rule.
[BibTeX]
[DOI]
Hajime Ishihara
,
Takako Nemoto
Arch. Math. Log., 2020

2019
Equivalents of the finitary non-deterministic inductive definitions.
[BibTeX]
[DOI]
Ayana Hirata
,
Hajime Ishihara
,
Tatsuji Kawai
,
Takako Nemoto
Ann. Pure Appl. Log., 2019

The binary expansion and the intermediate value theorem in constructive reverse mathematics.
[BibTeX]
[DOI]
Josef Berger
,
Hajime Ishihara
,
Takayuki Kihara
,
Takako Nemoto
Arch. Math. Log., 2019

2016
A note on the independence of premiss rule.
[BibTeX]
[DOI]
Hajime Ishihara
,
Takako Nemoto
Math. Log. Q., 2016

2015
Generalized geometric theories and set-generated classes.
[BibTeX]
[DOI]
Peter Aczel
,
Hajime Ishihara
,
Takako Nemoto
,
Yasushi Sangu
Math. Struct. Comput. Sci., 2015

Some principles weaker than Markov's principle.
[BibTeX]
[DOI]
Makoto Fujiwara
,
Hajime Ishihara
,
Takako Nemoto
Arch. Math. Log., 2015

2009
Determinacy of Wadge classes and subsystems of second order arithmetic.
[BibTeX]
[DOI]
Takako Nemoto
Math. Log. Q., 2009

2008
Complete Determinacy and Subsystems of Second Order Arithmetic.
[BibTeX]
[DOI]
Takako Nemoto
Proceedings of the Logic and Theory of Algorithms, 2008

2007
Infinite games in the Cantor space and subsystems of second order arithmetic.
[BibTeX]
[DOI]
Takako Nemoto
,
MedYahya Ould MedSalem
,
Kazuyuki Tanaka
Math. Log. Q., 2007


  Loading...