Kentaro Sato

According to our database1, Kentaro Sato authored at least 17 papers between 2004 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI.
Ann. Pure Appl. Log., 2024

2023
A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection.
Ann. Pure Appl. Log., 2023

2022
Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.
Arch. Math. Log., 2022

Introductory Education for IoT Technology for First-Year Students.
Proceedings of the IEEE International Conference on Teaching, 2022

2020
Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives.
Ann. Pure Appl. Log., 2020

Ordinal analyses for monotone and cofinal transfinite inductions.
Arch. Math. Log., 2020

2015
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π<sub>1</sub>-equivalent to KP.
Ann. Pure Appl. Log., 2015

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics <sub>T</sub><sub>0</sub>.
Ann. Pure Appl. Log., 2015

Full and hat inductive definitions are equivalent in NBG.
Arch. Math. Log., 2015

2014
Forcing for hat inductive definitions in arithmetic.
Math. Log. Q., 2014

From hierarchies to well-foundedness.
Arch. Math. Log., 2014

2011
The strength of extensionality II - Weak weak set theories without infinity.
Ann. Pure Appl. Log., 2011

2009
The strength of extensionality I - weak weak set theories with infinity.
Ann. Pure Appl. Log., 2009

2007
Semantical Characterizations for Irreflexive and Generalized Modal Languages.
Notre Dame J. Formal Log., 2007

Double helix in large large cardinals and iteration of elementary embeddings.
Ann. Pure Appl. Log., 2007

2005
Synthesis of F<sub>0</sub> contours using generation process model parameters predicted from unlabeled corpora: application to emotional speech synthesis.
Speech Commun., 2005

2004
Corpus-based synthesis of fundamental frequency contours with various speaking styles from text using F0 contour generation process model.
Proceedings of the Fifth ISCA ITRW on Speech Synthesis, 2004


  Loading...