Timeline for Question arising from Voevodsky's talk on inconsistency
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 6, 2010 at 4:31 | vote | accept | John Stillwell | ||
| Oct 5, 2010 at 23:01 | history | edited | Bjørn Kjos-Hanssen | CC BY-SA 2.5 |
added 39 characters in body; added 215 characters in body
|
| Oct 5, 2010 at 22:59 | comment | added | Bjørn Kjos-Hanssen | Alternatively, look at a tail of $\Omega$, namely $\{n: n+k\in\Omega\}$ where $k$ is large enough to take you beyond the finitely many exceptions. | |
| Oct 5, 2010 at 22:56 | comment | added | John Stillwell | Thanks! This is the kind of thing I had in mind, but I couldn't get round the finitely many exceptions. | |
| Oct 5, 2010 at 22:51 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 2.5 |