Return to Question

edited tags

Link

edited Mar 22, 2020 at 14:25

4.9k
2
21
45

set-theory constructive-mathematics reverse-math

edited tags

Link

edited Mar 20, 2020 at 16:09

63.9k
5
187
286

set-theory constructive-mathematics reverse-math

edited title

Link

edited Dec 28, 2019 at 18:31

4.9k
2
21
45

Uncountability of the real numbers from LLPO without countable choice

edited tags

Link

edited Dec 28, 2019 at 0:46

4.9k
2
21
45

Loading

deleted 577 characters in body

Source Link

edited Dec 27, 2019 at 23:26

4.9k
2
21
45

Loading

Post Undeleted by wlad

occurred Dec 27, 2019 at 23:26

Post Deleted by wlad

occurred Dec 27, 2019 at 22:59

Source Link

asked Dec 27, 2019 at 22:44

4.9k
2
21
45

Loading