2020-12-02 BolzanoーWeierstrassの定理の非形式的な構成的逆数学 Mathematucal Logic Advent Calendar 2020 の2日目「構成的逆数学のなんらかの話題」です。 drive.google.com アドベントカレンダーのリンクはこちらから。 adventar.org