Author Info
Name
Affiliation
Papers
KENTARO SATO
Institut für Inromatik und angewandte Mathematik, Universität Bern, Bern, Switzerland 3012
6
Collaborators
Citations 
PageRank 
3
4
2.17
Referers 
Referees 
References 
4
26
22
Title
Citations
PageRank
Year
Ordinal analyses for monotone and cofinal transfinite inductions10.372020
Full and hat inductive definitions are equivalent in NBG.20.402015
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP.00.342015
A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T000.342015
From hierarchies to well-foundedness10.392014
Forcing for hat inductive definitions in arithmetic.00.342014