Timeline for What can be preserved in mathematics if all constructions are carried out in ZF?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 18, 2022 at 2:24 | comment | added | David Roberts♦ | Just a reference for 'Baire 1/Baire n' functions, since I had to look it up: en.wikipedia.org/wiki/Baire_function | |
| Nov 17, 2022 at 21:25 | history | edited | Sam Sanders | CC BY-SA 4.0 |
added 199 characters in body
|
| Sep 27, 2022 at 7:14 | comment | added | Sam Sanders | Hence the "local" equivalence I mentioned, but you are of course right. | |
| Sep 27, 2022 at 0:59 | comment | added | Asaf Karagila♦ | It is very important to point out that this failure of equivalence is only when talking about "a single point", and a function that is everywhere sequentially continuous is also everywhere continuous. | |
| Sep 25, 2022 at 19:00 | history | answered | Sam Sanders | CC BY-SA 4.0 |