Toshiyasu Arai
Identifiers
- name variant Toshiyasu Arai 0.60 · backfill
Papers (31)
- Predicatively unprovable termination of the Ackermannian Goodstein process math.LO · 2019 · author #1
- Proof-theoretic strengths of the well ordering principles math.LO · 2018 · author #1
- Grzegorczyk sequence math.LO · 2018 · author #1
- Hydra games for recursively Mahlo operations math.LO · 2018 · author #1
- Cut-elimination for $\omega_{1}$ math.LO · 2018 · author #1
- Derivatives of normal functions and omega-models math.LO · 2017 · author #1
- Cut-eliminability in second order logic calculi math.LO · 2017 · author #1
- Cut-elimination for SBL math.LO · 2016 · author #1
- Proof-theoretic strengths of weak theories for positive inductive definitions math.LO · 2016 · author #1
- Hydras for $\omega_{1}$ math.LO · 2015 · author #1
- $omega_{1}$ under $Pi_{1}$-Collection math.LO · 2015 · author #1
- Well-foundedness proof for first-order reflection math.LO · 2015 · author #1
- Axiomatizing some small classes of set functions math.LO · 2015 · author #1
- Lifting proof theory to the countable ordinals II: second-order indescribable cardinals math.LO · 2014 · author #1
- A polynomial time complete disjunction property in intuitionistic propositional logic math.LO · 2013 · author #1
- Proof search in multi-succedent sequent calculi for intuitionistic logic under the Schuette's schema math.LO · 2013 · author #1
- Predicatively computable functions on sets math.LO · 2012 · author #1
- Conservations of first-order reflections math.LO · 2012 · author #1
- Proof theory of weak compactness math.LO · 2011 · author #1
- Introducing the hardline in proof theory math.LO · 2011 · author #1
- A sneak preview of proof theory of ordinals math.LO · 2011 · author #1
- Lifting up the proof theory to the countables : Zermelo-Fraenkel set theory math.LO · 2011 · author #1
- Quick cut-elimination for strictly positive cuts math.LO · 2010 · author #1
- Proof theory for theories of ordinals III: $\Pi_{N}$-reflection math.LO · 2010 · author #1
- Wellfoundedness proofs by means of non-monotonic inductive definitions II: first order operators math.LO · 2010 · author #1
- nested PLS math.LO · 2010 · author #1
- Exact bounds on epsilon processes math.LO · 2010 · author #1
- Intuitionistic fixed point theories over Heyting arithmetic math.LO · 2010 · author #1
- Provably $\Delta^0_2$ and weakly descending chains math.LO · 2010 · author #1
- Iterating the recursively Mahlo operations math.LO · 2010 · author #1
- A new function algebra of EXPTIME functions by safe nested recursion cs.CC · 2006 · author #1
Mentions
- 1508.01548 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1508.01547 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1506.05280 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1503.07982 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1409.1336 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1312.3059 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1312.1136 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1204.5582 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1204.0205 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1111.0462 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1104.1842 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1102.0596 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1101.5660 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1010.4111 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1007.0844 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1005.2007 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1005.2005 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1005.2003 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1005.1991 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1005.1989 #1 · backfill · confidence 0.70 Toshiyasu Arai
- 1005.1987 #1 · backfill · confidence 0.70 Toshiyasu Arai
Frequent Coauthors
- Andreas Weiermann 1 shared papers
- David Fern\'andez-Duque 1 shared papers
- Naohi Eguchi 1 shared papers
- Stanley Wainer 1 shared papers