9 citations · 9 across the 2 of their papers we have counts for
2 papers
math.LO2010
Proof theory for theories of ordinals III: -reflection
Toshiyasu Arai
This paper deals with a proof theory for a theory of -reflecting ordinals using a system of ordinal diagrams. This is a sequel to the previous one(APAL 129)in which a theory…
math.LO2010★ 9 cited
Iterating the recursively Mahlo operations
Toshiyasu Arai
In this paper we address a problem: How far can we iterate lower recursively Mahlo operations in higher reflecting universes? Or formally: How much can lower recursively Mahlo oper…