読む毒

イヌ

BolzanoーWeierstrassの定理の非形式的な構成的逆数学

Mathematucal Logic Advent Calendar 2020 の2日目「構成的逆数学のなんらかの話題」です。

drive.google.com

 

アドベントカレンダーのリンクはこちらから。

adventar.org