Sendai Logic - 仙台ロジック Mathematical Institute, Tohoku University, Sendai, Miyagi, Japan

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.