6 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 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…
A Study on Quantum Car-Parrinello Molecular Dynamics with Classical Shadows for Resource Efficient Molecular Simulation
Honomi Kashihara, Yudai Suzuki, Kenji Yasuoka
Ab-initio molecular dynamics (AIMD) is a powerful tool to simulate physical movements of molecules for investigating properties of materials. While AIMD is successful in some appli…
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…