2021.03.18 Yudai Suzuki
The completeness of the real numbers and reverse mathematics

Date/Time: March 18, 2021 (Thursday) / 13:00  15:00.

Venue: Complex A 802.

Speaker: Yudai Suzuki (東北大学大学院 理学研究科)

Title: The completeness of the real numbers and reverse mathematics

Abstract: One of main difference between \(\mathbb{Q}\) and \(\mathbb{R}\) is the completeness. However, there are a lot of representations for the completeness. In this talk, we will compare some these from the viewpoint of reverse mathematics.