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.