Kentaro Sato

According to our database, Kentaro Sato authored at least 16 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collection.

Kentaro Sato

Ann. Pure Appl. Log., 2023

2022

Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.

Kentaro Sato

Arch. Math. Log., 2022

Introductory Education for IoT Technology for First-Year Students.

Satoru Izumi, Kentaro Sato, Akiko Takahashi, Shinji Chiba

Proceedings of the IEEE International Conference on Teaching, 2022

2020

Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternatives.

Kentaro Sato

Ann. Pure Appl. Log., 2020

Ordinal analyses for monotone and cofinal transfinite inductions.

Kentaro Sato

Arch. Math. Log., 2020

2015

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π₁-equivalent to KP.

Kentaro Sato, Rico Zumbrunnen

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 _T₀.

Kentaro Sato

Ann. Pure Appl. Log., 2015

Full and hat inductive definitions are equivalent in NBG.

Kentaro Sato

Arch. Math. Log., 2015

2014

Forcing for hat inductive definitions in arithmetic.

Kentaro Sato

Math. Log. Q., 2014

From hierarchies to well-foundedness.

Dandolo Flumini, Kentaro Sato

Arch. Math. Log., 2014

2011

The strength of extensionality II - Weak weak set theories without infinity.

Kentaro Sato

Ann. Pure Appl. Log., 2011

2009

The strength of extensionality I - weak weak set theories with infinity.

Kentaro Sato

Ann. Pure Appl. Log., 2009

2007

Semantical Characterizations for Irreflexive and Generalized Modal Languages.

Katsuhiko Sano, Kentaro Sato

Notre Dame J. Formal Log., 2007

Double helix in large large cardinals and iteration of elementary embeddings.

Kentaro Sato

Ann. Pure Appl. Log., 2007

2005

Synthesis of F₀ contours using generation process model parameters predicted from unlabeled corpora: application to emotional speech synthesis.

Keikichi Hirose, Kentaro Sato, Yasufumi Asano, Nobuaki Minematsu

Speech Commun., 2005

2004

Corpus-based synthesis of fundamental frequency contours with various speaking styles from text using F0 contour generation process model.

Keikichi Hirose, Kentaro Sato, Nobuaki Minematsu

Proceedings of the Fifth ISCA ITRW on Speech Synthesis, 2004