For a helpful constructive logic basics video with upshots, by me from last year, see • Four freebies of const...
For a related and relevant discussion on computably enumerable sets and their compliments, see this 4yo video • Computably enumerable ...
For some of the non-theorems in the list it helps to understand \Pi_0^2-complete sets.
The references video on how the Axiom of Choice and Regularity each imply LEM is at • Axiom of Choice and Re...
Keywords:
en.wikipedia.o...
en.wikipedia.o...
Previous ℕ^ℕ into ℕ paper: math.andrej.co...
April ℕ onto ℝ paper: arxiv.org/abs/...
2022 talk on the latter: www.youtube.co...
Shownotes presented
gist.github.co...
Негізгі бет Surjections from ℕ onto ℝ. Surjections from S ⊂ ℕ onto ℕ^ℕ. All that.
Пікірлер: 2