Timeline for Is there a simple instance of intransitivity for implicit definability?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 11, 2022 at 0:34 | answer | added | Fedor Pakhomov | timeline score: 7 | |
| Jul 10, 2022 at 22:04 | comment | added | Fedor Pakhomov | Sure, I have posted an answer with a reference to the answer to the question of Geoffrey. | |
| Jul 10, 2022 at 21:58 | comment | added | Joel David Hamkins | @GeoffreyIrving Evidently Fedor had posted here first, and then deleted and posted over on your answer. I guess it makes sense, Fedor, to post in both places, or at least post an answer here pointing over there. I am still hoping, however, for a truly elementary self-contained example. | |
| Jul 10, 2022 at 21:39 | comment | added | Geoffrey Irving | @FedorPakhomov: Want to add that as an answer, since you found the proof? | |
| Jul 10, 2022 at 21:35 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 262 characters in body
|
| Jul 10, 2022 at 21:29 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 262 characters in body
|
| Jul 10, 2022 at 20:34 | history | became hot network question | |||
| Jul 10, 2022 at 19:54 | comment | added | Fedor Pakhomov | I have posted a proof that the set of primes isn't implicitly definable over naturals with successor as an answer to the question of Geoffrey Irving. | |
| Jul 10, 2022 at 19:36 | answer | added | Fedor Pakhomov | timeline score: 6 | |
| Jul 10, 2022 at 15:53 | answer | added | Noah Schweber | timeline score: 5 | |
| Jul 10, 2022 at 12:47 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 42 characters in body
|
| Jul 10, 2022 at 12:33 | history | asked | Joel David Hamkins | CC BY-SA 4.0 |