Author Info
Name
Affiliation
Papers
KENTARO FUJIMOTO
School of MathematicsUniversity of BristolBristolBS8 1TWUnited Kingdom
2
Collaborators
Citations 
PageRank 
0
0
0.68
Referers 
Referees 
References 
0
6
6
Title
Citations
PageRank
Year
Truths, Inductive Definitions, and Kripke-Platek Systems over Set Theory.00.342018
Notes on some second-order systems of iterated inductive definitions and Π11-comprehensions and relevant subsystems of set theory.00.342015