I agree that this site is using cookies. You can find further informations here.
X
ARAI, TOSHIYASU
121  results:
Search for persons X
?
1

Wellfoundedness proof with the maximal distinguished set:

Arai, Toshiyasu
Archive for Mathematical Logic.  62 (2022)  3-4 - p. 333-357 , 2022
Link: https://doi.org/10.1007/..
 
?
2

GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER..:

ARAI, TOSHIYASU ; WAINER, STANLEY S. ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic.  27 (2021)  2 - p. 168-186 , 2021
Link: https://doi.org/10.1017/..
 
?
3

GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER..:

ARAI, TOSHIYASU ; WAINER, STANLEY S. ; WEIERMANN, ANDREAS
The Bulletin of Symbolic Logic.  27 (2021)  2 - p. 168-186 , 2021
Link: https://www.jstor.org/st..
 
?
4

Advances in Mathematical Logic: Dedicated to the Memory of .. 

Springer Proceedings in Mathematics & Statistics, 369
Arai, Toshiyasu ; Kikuchi, Makoto ; Kuroda, Satoru.. - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
?
5

Cut-Elimination for SBL:

, In: The Legacy of Kurt Schütte,
Arai, Toshiyasu - p. 265-298 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Epsilon Numbers:

, In: Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library,
Arai, Toshiyasu - p. 97-173 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Collapsings:

, In: Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library,
Arai, Toshiyasu - p. 219-290 , 2020
Link: https://doi.org/10.1007/..
 
?
8

Calculi for Classical Logic:

, In: Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library,
Arai, Toshiyasu - p. 29-64 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Introduction:

, In: Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library,
Arai, Toshiyasu - p. 1-27 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Iterations:

, In: Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library,
Arai, Toshiyasu - p. 175-218 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Ordinal Analysis with an Introduction to Proof Theory 

Logic in Asia: Studia Logica Library
Arai, Toshiyasu - 1st ed. 2020 . , 2020
Link: https://doi.org/10.1007/..
 
?
12

A SIMPLIFIED ORDINAL ANALYSIS OF FIRST-ORDER REFLECTION:

ARAI, TOSHIYASU
The Journal of Symbolic Logic.  85 (2020)  3 - p. 1163-1185 , 2020
Link: https://doi.org/10.1017/..
 
?
13

Answers to Exercises:

, In: Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library,
Arai, Toshiyasu - p. 291-308 , 2020
Link: https://doi.org/10.1007/..
 
?
14

Cut-Elimination with Depths:

, In: Ordinal Analysis with an Introduction to Proof Theory; Logic in Asia: Studia Logica Library,
Arai, Toshiyasu - p. 65-96 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Proof-theoretic strengths of the well-ordering principles:

Arai, Toshiyasu
Archive for Mathematical Logic.  59 (2019)  3-4 - p. 257-275 , 2019
Link: https://doi.org/10.1007/..
 
1-15