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 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…