Timeline for Set theories without "junk" theorems?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 7, 2021 at 21:39 | history | edited | Toby Bartels | CC BY-SA 4.0 |
typo (missing word)
|
| Jul 6, 2021 at 14:02 | history | edited | Toby Bartels | CC BY-SA 4.0 |
Mention use of this technique in Baby Rudin.
|
| Jul 25, 2020 at 22:28 | history | edited | Toby Bartels | CC BY-SA 4.0 |
better wording about defining vs stating vs proving
|
| Feb 13, 2019 at 23:13 | history | edited | Toby Bartels | CC BY-SA 4.0 |
Change wording about lack of necessity of existence proof.
|
| Mar 24, 2018 at 16:15 | history | answered | Toby Bartels | CC BY-SA 3.0 |