Login
From:
雑記帳
(Uncensored)
subscribe
可算選択公理を仮定しない構成的数学での実数の構成について
https://blog.miz-ar.info/2025/08/real-construction-without-countable-choice/
links
backlinks
Tagged with:
数学
構成的数学
可算選択公理を仮定しない構成的数学では、Cauchy列に基づいた実数の構成をやるときに完備性が示せなくなる（らしい）。この弱点は、実数の構成に使うCauchy列を有理数の点列ではなく、有理数の集合の列とすれば克服できる。
Roast topics
Find topics
Find it!
