Timeline for Is there a subset of the natural number plane, which doesn't know which of its slices are arithmetic?
Current License: CC BY-SA 4.0
9 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
S Jul 12, 2022 at 0:56 | history | suggested | fgrieu | CC BY-SA 4.0 |
Replace \N with \mathbb N to fix LaTex renderign errors
|
Jul 11, 2022 at 21:16 | review | Suggested edits | |||
S Jul 12, 2022 at 0:56 | |||||
Sep 30, 2014 at 11:51 | vote | accept | Joel David Hamkins | ||
Sep 7, 2013 at 13:38 | comment | added | Joel David Hamkins | The application, incidentally, is this: there are two models of set theory $M_1$ and $M_2$, with their natural number structure in common $\langle\mathbb{N},{+},{\cdot},0,1,{\lt}\rangle^{M_1}= \langle\mathbb{N},{+},{\cdot},0,1,{\lt}\rangle^{M_2}$, and with a set $A\subset\mathbb{N}$ in common, but $M_1$ thinks $A$ is arithmetic and $M_2$ thinks it is not arithmetic. I'll post a link to the paper when it is ready. | |
Sep 7, 2013 at 13:33 | comment | added | Joel David Hamkins | This is great! Thank you very much for pushing the idea through! Could you kindly send me an email, so that we may cite you properly in our paper? (You can find my contact details on my web page, accessible from my profile.) | |
Sep 7, 2013 at 11:59 | history | edited | Andrew Marks | CC BY-SA 3.0 |
deleted 39 characters in body
|
Sep 7, 2013 at 10:47 | history | edited | Andrew Marks | CC BY-SA 3.0 |
added 3972 characters in body
|
Sep 7, 2013 at 5:21 | history | edited | Andrew Marks | CC BY-SA 3.0 |
added 594 characters in body
|
Sep 7, 2013 at 3:33 | history | answered | Andrew Marks | CC BY-SA 3.0 |