Timeline for Mathematics without the principle of unique choice
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 9, 2022 at 15:42 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
http -> https (the question was bumped anyway)
|
| Jun 13, 2018 at 15:51 | comment | added | Mike Shulman | This is a good point. In tripos-theoretic language, these are the "weakly complete" sets. The absence of PUC seems only to matter for "predicative" sets whose construction doesn't involve powersets, such as $\mathbb{N},\mathbb{Z},\mathbb{Q}$, and the ordinary Cauchy reals. And I wouldn't be surprised if PUC also held automatically, at least in some contexts, for sets like $\mathbb{N},\mathbb{Z},\mathbb{Q}$ that can be defined without any quotients, i.e. such that their setoid equality is Leibniz equality. | |
| Jun 13, 2018 at 4:35 | history | answered | James | CC BY-SA 4.0 |