Wellfoundedness proof with the maximal distinguished set von Arai, Toshiyasu

Volltext

A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION von ARAI, TOSHIYASU

Volltext

Proof-theoretic strengths of the well-ordering principles von Arai, Toshiyasu

Volltext

Cut-eliminability in Second Order Logic Calculus von ARAI, Toshiyasu

Volltext

GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION von ARAI, TOSHIYASU, WAINER, STANLEY S., WEIERMANN, ANDREAS

Volltext

Wellfoundedness proofs by means of non-monotonic inductive definitions II: First order operators von Arai, Toshiyasu

Volltext

A Sneak Preview of Proof Theory of Ordinals(<Special Section>Infinity in Philosophy and Mathematics) von ARAI, Toshiyasu

Volltext

PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS von ARAI, TOSHIYASU

Volltext

Cut-elimination for ω1 von Arai, Toshiyasu

Volltext

Derivatives of normal functions and ω-models von Arai, Toshiyasu

Volltext

Derivatives of normal functions and $$\omega $$ ω -models von Arai, Toshiyasu

Volltext

Proof theory for theories of ordinals II: Π3-reflection von Arai, Toshiyasu

Volltext

Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions von Arai, Toshiyasu, Kikuchi, Makoto, Kuroda, Satoru, Okada, Mitsuhiro, Yorioka, Teruyuki

Volltext

Epsilon substitution method for -FIX von Arai, Toshiyasu

Volltext

CONSERVATIONS OF FIRST-ORDER REFLECTIONS von ARAI, TOSHIYASU

Volltext

Intuitionistic fixed point theories over set theories von Arai, Toshiyasu

Volltext

Predicatively computable functions on sets von Arai, Toshiyasu

Volltext

LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY von ARAI, TOSHIYASU

Volltext

A new function algebra of EXPTIME functions by safe nested recursion von Arai, Toshiyasu, Eguchi, Naohi

Volltext

Quick cut-elimination for strictly positive cuts von Arai, Toshiyasu

Volltext