Timeline for What is known about first order logic of $\mathbb{N}$ with + and a unary predicate?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 24, 2022 at 20:34 | comment | added | TomKern | I just found A. L. Semenov's "On Certain Extensions of the Arithmetic of Addition of Natural Numbers" (1980), which seems to address this exact question. I'll answer my own question if I can make sense of it. | |
| Oct 20, 2022 at 14:44 | history | edited | user44143 |
edited tags
|
|
| Oct 20, 2022 at 14:34 | answer | added | user44143 | timeline score: 6 | |
| Oct 19, 2022 at 18:37 | comment | added | TomKern | I am curious about the history of how this mistake got corrected into Büchi arithmetic, but I'm more interested in the specific case of various unary predicates; this is what Büchi is interested in in "Weak Second-Order Arithmetic and Finite Automata". | |
| Oct 19, 2022 at 16:17 | comment | added | Emil Jeřábek | Büchi arithmetic is not quite the same, but you can find a lot of information there. | |
| Oct 19, 2022 at 14:40 | history | asked | TomKern | CC BY-SA 4.0 |