Timeline for Undetermined Banach-Mazur games in ZF?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 3, 2020 at 20:29 | history | edited | James E Hanson | CC BY-SA 4.0 |
Typo in equation
|
| Feb 7, 2020 at 19:57 | comment | added | Noah Schweber | @JamesHanson Surely those should be called "Bairely spaces." :P (In some languishing project of mine I looked at sets of reals with Banach-Mazur winning strategies satisfying extremely mild computational tameness properties - I called these sets "Bairely acceptable." I should restart that project just so I can use that term ...) | |
| Feb 7, 2020 at 18:27 | comment | added | Asaf Karagila♦ | Yes, but if we have bears, we can have a "barely Baire bear", or "a Bernstein bear is barely a Baire bear". Or some other pun like that. | |
| Feb 7, 2020 at 18:26 | comment | added | James E Hanson | When I was looking around at papers related to this I found out that 'barely Baire spaces' are a thing. | |
| Feb 7, 2020 at 18:13 | history | bounty ended | Noah Schweber | ||
| Feb 7, 2020 at 18:13 | vote | accept | Noah Schweber | ||
| Feb 7, 2020 at 18:12 | comment | added | Noah Schweber | @GabeGoldberg So would this question be about Berenstain Baires? (I'll put that on the list of math books for children, along with If you give a mouse a measure.) | |
| Feb 7, 2020 at 17:49 | comment | added | Asaf Karagila♦ | @Gabe Not all games are bears. You can define an analogous notion to a mouse, and then finally have Bernstein bears. But that has yet to happen. | |
| Feb 7, 2020 at 16:29 | history | edited | James E Hanson | CC BY-SA 4.0 |
Bernstein spelling
|
| Feb 7, 2020 at 16:16 | comment | added | Gabe Goldberg | Berenstain, not Berenstein... | |
| Feb 7, 2020 at 13:12 | comment | added | Asaf Karagila♦ | Bernstein, not Berenstein... :-) | |
| Feb 7, 2020 at 7:49 | history | answered | James E Hanson | CC BY-SA 4.0 |