Timeline for Is there a simple instance of intransitivity for implicit definability?
Current License: CC BY-SA 4.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 1, 2022 at 0:18 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 31 characters in body
|
| Jul 11, 2022 at 0:53 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 272 characters in body
|
| Jul 11, 2022 at 0:47 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 272 characters in body
|
| Jul 10, 2022 at 22:52 | history | edited | Noah Schweber | CC BY-SA 4.0 |
deleted 355 characters in body
|
| Jul 10, 2022 at 21:41 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 224 characters in body
|
| Jul 10, 2022 at 17:14 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 176 characters in body
|
| Jul 10, 2022 at 16:07 | comment | added | Noah Schweber | @JoelDavidHamkins That's true; I wanted to keep things a bit loose to make the transition to the generalization (now sketched!) smoother, but maybe that wasn't a good expositional call on my part. | |
| Jul 10, 2022 at 16:03 | history | edited | Noah Schweber | CC BY-SA 4.0 |
added 653 characters in body
|
| Jul 10, 2022 at 16:02 | comment | added | Joel David Hamkins | Could also argue with mere Sigma_n genericity, once the complexity of the supposed implicit definition is fixed. | |
| Jul 10, 2022 at 15:53 | history | answered | Noah Schweber | CC BY-SA 4.0 |