4 papers
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 relat…
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 stron…
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 varian…
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…