Toshiyasu Arai

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 9

Top Topics

Propositional Logic

Top Venues

Arch. Math. Log.

Bull. Symb. Log.

Publications

Toshiyasu Arai
Wellfoundedness proof with the maximal distinguished set. Arch. Math. Log. 62 (3) (2023)
Toshiyasu Arai, Stanley S. Wainer, Andreas Weiermann
Goodstein sequences based on a Parametrized Ackermann-Péter function. Bull. Symb. Log. 27 (2) (2021)
Toshiyasu Arai
A Simplified Ordinal Analysis of First-order Reflection. J. Symb. Log. 85 (3) (2020)
Toshiyasu Arai
Proof-theoretic strengths of the well-ordering principles. Arch. Math. Log. 59 (3-4) (2020)
Toshiyasu Arai
Proof-Theoretic strengths of Weak Theories for positive Inductive Definitions. J. Symb. Log. 83 (3) (2018)
Toshiyasu Arai
Derivatives of normal functions and ω-models. Arch. Math. Log. 57 (5-6) (2018)
Toshiyasu Arai
. Ann. Pure Appl. Log. 169 (12) (2018)
Toshiyasu Arai
Predicatively computable functions on sets. Arch. Math. Log. 54 (3-4) (2015)
Toshiyasu Arai
Intuitionistic fixed point theories over set theories. Arch. Math. Log. 54 (5-6) (2015)
Toshiyasu Arai
Lifting Proof Theory to the Countable Ordinals: Zermelo-Fraenkel Set Theory. J. Symb. Log. 79 (2) (2014)
Toshiyasu Arai
Conservations of First-order Reflections. J. Symb. Log. 79 (3) (2014)
Toshiyasu Arai
A polynomial time complete disjunction property in intuitionistic propositional logic. CoRR (2013)
Toshiyasu Arai
Proof Theory of Weak compactness. J. Math. Log. 13 (1) (2013)
Toshiyasu Arai
Quick cut-elimination for strictly positive cuts. Ann. Pure Appl. Log. 162 (10) (2011)
Toshiyasu Arai
Nested PLS. Arch. Math. Log. 50 (3-4) (2011)
Toshiyasu Arai
Exact bounds on epsilon processes. Arch. Math. Log. 50 (3-4) (2011)
Toshiyasu Arai
Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators. Ann. Pure Appl. Log. 162 (2) (2010)
Toshiyasu Arai, Naohi Eguchi
A new function algebra of EXPTIME functions by safe nested recursion. ACM Trans. Comput. Log. 10 (4) (2009)
Toshiyasu Arai
Non-elementary speed-ups in logic calculi. Math. Log. Q. 54 (6) (2008)
Toshiyasu Arai
-FIX. J. Symb. Log. 71 (4) (2006)
Toshiyasu Arai, Naohi Eguchi
A new function algebra of EXPTIME functions by safe nested recursion CoRR (2006)
Toshiyasu Arai
-FIX. Ann. Pure Appl. Log. 136 (1-2) (2005)
Toshiyasu Arai, Georg Moser
Proofs of Termination of Rewrite Systems for Polytime Functions. FSTTCS (2005)
Toshiyasu Arai
-reflection. Ann. Pure Appl. Log. 129 (1-3) (2004)
Toshiyasu Arai
-operators. J. Symb. Log. 69 (3) (2004)
Toshiyasu Arai
Proof theory for theories of ordinals - I: recursively Mahlo ordinals. Ann. Pure Appl. Log. 122 (1-3) (2003)
Toshiyasu Arai
). Ann. Pure Appl. Log. 121 (2-3) (2003)
Toshiyasu Arai
Epsilon substitution method for theories of jump hierarchies. Arch. Math. Log. 41 (2) (2002)
Toshiyasu Arai
. Math. Log. Q. 48 (1) (2002)
Toshiyasu Arai, Grigori Mints
Extended normal form theorems for logical proofs from axioms. Theor. Comput. Sci. 232 (1-2) (2000)
Toshiyasu Arai
Ordinal diagrams for recursively Mahlo universes. Arch. Math. Log. 39 (5) (2000)
Toshiyasu Arai
A Bounded Arithmetic AID for Frege Systems. Ann. Pure Appl. Log. 103 (1-3) (2000)
Toshiyasu Arai
-Reflection. J. Symb. Log. 65 (3) (2000)
Toshiyasu Arai
Variations on a Theme by Weiermann. J. Symb. Log. 63 (3) (1998)
Toshiyasu Arai
Some Results on Cut-Elimination, Provable Well-Orderings, Induction, and Reflection. Ann. Pure Appl. Log. 95 (1-3) (1998)
Toshiyasu Arai
Consistency proof via pointwise induction. Arch. Math. Log. 37 (3) (1998)
Toshiyasu Arai
A Slow Growing Analogue to Buchholz' Proof. Ann. Pure Appl. Log. 54 (2) (1991)
Toshiyasu Arai
Derivability Conditions on Rosser's Provability Predicates. Notre Dame J. Formal Log. 31 (4) (1990)