5 papers · 1 filter
On some generalizations of Gödel's second incompleteness theorem
Yudai Suzuki, Keita Yokoyama
In this note, we give some generalizations of Gödel's second incompleteness theorem and study their surroundings. We revisit it from two perspectives. One perspective is the relati…
On some subtheories of strong dependent choice
Juan P. Aguilera, Yudai Suzuki, Keita Yokoyama
In this paper, we give characterizations of the set of -consequences, -consequences and -consequences of the axiomatic system of the strong d…
Relative leftmost path principles and omega-model reflections of transfinite inductions
Yudai Suzuki
In this paper, we give characterizations of Towsner's relative leftmost path principles in terms of omega-model reflections of transfinite inductions. In particular, we show that t…
On the consequences of -
Yudai Suzuki, Keita Yokoyama
In this paper, we introduce a hierarchy dividing the set -. Then, we give some characterizations of this set using weaker variants o…
Searching problems above arithmetical transfinite recursion
Yudai Suzuki, Keita Yokoyama
We investigate some Weihrauch problems between and . We show that the fixed point theorem for monotone operators on the Cantor space (a weaker v…