Suchergebnisse - Arai, Toshiyasu

1

Wellfoundedness proof with the maximal distinguished set von Arai, Toshiyasu

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

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

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

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

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

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

Veröffentlicht in Annals of the Japan Association for Philosophy of Science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Predicatively unprovable termination of the Ackermannian Goodstein process von Arai, Toshiyasu, Fernández-Duque, David, Wainer, Stanley, Weiermann, Andreas

Veröffentlicht in Proceedings of the American Mathematical Society

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

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

Veröffentlicht in The bulletin of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

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

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

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

Veröffentlicht in Annals of the Japan Association for Philosophy of Science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

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

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Cut-elimination for ω1 von Arai, Toshiyasu

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

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

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

$Derivatives of normal functions and $$\omega $$ ω -models$

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

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

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

Veröffentlicht in Annals of pure and applied logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

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

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Epsilon substitution method for -FIX von Arai, Toshiyasu

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

CONSERVATIONS OF FIRST-ORDER REFLECTIONS von ARAI, TOSHIYASU

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Intuitionistic fixed point theories over set theories von Arai, Toshiyasu

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Predicatively computable functions on sets von Arai, Toshiyasu

Veröffentlicht in Archive for mathematical logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

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

Veröffentlicht in The Journal of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

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

Veröffentlicht in ACM transactions on computational logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

1
2
3
4
5
6
7
8
9
10
11
Nächster
[17]

Wellfoundedness proof with the maximal distinguished set von Arai, Toshiyasu

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

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

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

Predicatively unprovable termination of the Ackermannian Goodstein process von Arai, Toshiyasu, Fernández-Duque, David, Wainer, Stanley, Weiermann, Andreas

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

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

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

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

Cut-elimination for ω1 von Arai, Toshiyasu

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

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

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

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

Epsilon substitution method for -FIX von Arai, Toshiyasu

CONSERVATIONS OF FIRST-ORDER REFLECTIONS von ARAI, TOSHIYASU

Intuitionistic fixed point theories over set theories von Arai, Toshiyasu

Predicatively computable functions on sets von Arai, Toshiyasu

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

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

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle