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.