Timeline for Is "compact implies sequentially compact" consistent with ZF?
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 29, 2010 at 11:28 | history | edited | KP Hart | CC BY-SA 2.5 | added 6 characters in body |
| Jun 23, 2010 at 20:56 | comment | added | Andrew Stacey | Thanks to both of you (Joel and KP) for the clarification. | |
| Jun 23, 2010 at 20:10 | history | edited | KP Hart | CC BY-SA 2.5 | added some words on Martin's Axiom |
| Jun 23, 2010 at 13:19 | comment | added | Joel David Hamkins | Martin's Axiom (en.wikipedia.org/wiki/Martin's_axiom) is a combinatorial axiom that often provides an alternative to CH. There are numerous examples where a statement implied by CH is refuted under $MA+\neg CH$. | |
| Jun 23, 2010 at 12:52 | comment | added | Andrew Stacey | As I said in the question, I'm a topologist not a set theorist, so please pardon the basic clarification request. I've heard of "CH", but not "MA". What's the full name? | |
| Jun 23, 2010 at 11:07 | history | answered | KP Hart | CC BY-SA 2.5 |