Kentaro Sato - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2023

A new model construction by making a detour via intuitionistic theories III: Ultrafinitistic proofs of conservations of Σ11 collectionKentaro Sato. APAL, 174(3):103207, 2023. [doi]

2022

Introductory Education for IoT Technology for First-Year StudentsSator Izumi, Kentaro Sato, Akiko Takahashi, Shinji Chiba. tale 2022: 715-718 [doi]

Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contextsKentaro Sato. AML, 61(3-4):399-435, 2022. [doi]

2020

Elementary inductive dichotomy: Separation of open and clopen determinacies with infinite alternativesKentaro Sato. APAL, 171(3), 2020. [doi]

Ordinal analyses for monotone and cofinal transfinite inductionsKentaro Sato. AML, 59(3):277-291, 2020. [doi]

2015

1-equivalent to KPKentaro Sato, Rico Zumbrunnen. APAL, 166(2):121-186, 2015. [doi]

Full and hat inductive definitions are equivalent in NBGKentaro Sato. AML, 54(1-2):75-112, 2015. [doi]

0Kentaro Sato. APAL, 166(7-8):800-835, 2015. [doi]

2014

From hierarchies to well-foundednessDandolo Flumini, Kentaro Sato. AML, 53(7-8):855-863, 2014. [doi]

Forcing for hat inductive definitions in arithmeticKentaro Sato. mlq, 60(4-5):314-318, 2014. [doi]

2011

The strength of extensionality II - Weak weak set theories without infinityKentaro Sato. APAL, 162(8):579-646, 2011. [doi]

2009

The strength of extensionality I - weak weak set theories with infinityKentaro Sato. APAL, 157(2-3):234-268, 2009. [doi]

2007

Semantical Characterizations for Irreflexive and Generalized Modal LanguagesKatsuhiko Sano, Kentaro Sato. ndjfl, 48(2):205-228, 2007. [doi]

Double helix in large large cardinals and iteration of elementary embeddingsKentaro Sato. APAL, 146(2-3):199-236, 2007. [doi]

2005

Synthesis of F::0:: contours using generation process model parameters predicted from unlabeled corpora: application to emotional speech synthesisKeikichi Hirose, Kentaro Sato, Yasufumi Asano, Nobuaki Minematsu. speech, 46(3-4):385-404, 2005. [doi]

2004

Corpus-based synthesis of fundamental frequency contours with various speaking styles from text using F0 contour generation process modelKeikichi Hirose, Kentaro Sato, Nobuaki Minematsu. ssw 2004: 161-166 [doi]

Sign in or sign up to see more results.

runs on WebDSL