Kentaro Sato
Author
Alternate names Sato Kentaro, Kentaro Sato
Institution University of Bern
Past institutions University of Bern, Kobe University, University of Michigan–Ann Arbor, National Institute of Advanced Industrial Science and Technology
H-index: 7
I10-index: 2
Works count: 19
Citations count: 102
Full and hat inductive definitions are equivalent in NBG
2014 · Kentaro Sato · Archive for Mathematical Logic
From hierarchies to well-foundedness
2014 · Dandolo Flumini, Kentaro Sato · Archive for Mathematical Logic
A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0
2015 · Kentaro Sato · Annals of Pure and Applied Logic