Timeline for Non-Ramsey functions $c:[\omega]^\omega\to\{0,1\}$ and the Axiom of Choice
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 19, 2023 at 3:52 | vote | accept | Dominic van der Zypen | ||
| Jul 18, 2023 at 19:26 | answer | added | Joel David Hamkins | timeline score: 8 | |
| Jul 18, 2023 at 19:07 | comment | added | Dominic van der Zypen | Thanks for your comment, Joel. I don't know whether the existence of a non-Ramsey function is provable in ZF. Also, I am wondering, whether existence can be shown with something weaker than AC, maybe something Tychonoff-ish? | |
| Jul 18, 2023 at 17:43 | comment | added | Joel David Hamkins | In a sense any principle provable in ZFC but not in ZF can be seen as a kind of choice principle. So are you looking merely to know that this is independent of ZF? Or do you want specifically a principle that resembles making choices? | |
| Jul 18, 2023 at 16:27 | history | edited | Dominic van der Zypen | CC BY-SA 4.0 |
deleted 54 characters in body
|
| Jul 18, 2023 at 16:08 | history | asked | Dominic van der Zypen | CC BY-SA 4.0 |