Timeline for The additive structure of clusters of nonstandard models of arithmetic
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 15, 2023 at 22:00 | comment | added | Joel David Hamkins | Vika Gitman and I are thinking about the uncountable case, and I will report back if we figure anything out. I'm inclined to expect counterexamples in the uncountable case, but the fact that the additive cluster structures knows the standard system and the order isomorphism type of the original model is confabulating. | |
| Sep 15, 2023 at 21:53 | comment | added | Holo | Amazing result! I'm surprised about how hard it is to see. Intuitively I would imagine that there is a clever encoding that will immediately give a way to recover the additive reduction of the original model. And I'm very surprised about the multiplicative result | |
| Sep 15, 2023 at 21:50 | vote | accept | Holo | ||
| Sep 14, 2023 at 12:14 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 622 characters in body
|
| Sep 14, 2023 at 11:34 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 696 characters in body
|
| Sep 13, 2023 at 19:04 | history | edited | Emil Jeřábek | CC BY-SA 4.0 |
added 1 character in body
|
| Sep 13, 2023 at 18:47 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |