( en | de | ru )

 

Disambiguation of "Arai, Toshiyasu"

Author of the publication

copydeleteadd this publication to your clipboard
A new function algebra of EXPTIME functions by safe nested recursion

, and . CoRR, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Toshiyasu Imai

Makoto Arai

Sasagu Arai

Makoto Arai

Natsuko Arai

 

Other publications of authors with the same name

Nested PLS.. Arch. Math. Log., 50 (3-4): 395-409 (2011)Epsilon substitution method for Π02-FIX.. J. Symb. Log., 71 (4): 1155-1188 (2006)A new function algebra of EXPTIME functions by safe nested recursion, and . CoRR, (2006)A new function algebra of EXPTIME functions by safe nested recursion., and . ACM Trans. Comput. Log., 10 (4): 24:1-24:19 (2009)Wellfoundedness proof with the maximal distinguished set.. Arch. Math. Log., 62 (3-4): 333-357 (May 2023)Proof Theory of Weak compactness.. J. Math. Log., 13 (1): 1350003 (2013)Proof-theoretic strengths of the well-ordering principles.. Arch. Math. Log., 59 (3-4): 257-275 (2020)Epsilon substitution method for theories of jump hierarchies.. Arch. Math. Log., 41 (2): 123-153 (2002)A Slow Growing Analogue to Buchholz' Proof.. Ann. Pure Appl. Log., 54 (2): 101-120 (1991)Proof theory for theories of ordinals - I: recursively Mahlo ordinals.. Ann. Pure Appl. Log., 122 (1-3): 1-85 (2003)