All Questions
Tagged with computability-theory presburger-arithmetic
1 question with no upvoted or accepted answers
11
votes
0
answers
235
views
+50
Is there a decidable theory of arithmetic with a non-collapsing quantifier hierarchy?
This question is very close to this old MSE question of mine, which is still unanswered.
Is there an (ideally reasonably-natural!) expansion of the structure $(\mathbb{N};+)$ in a finite language ...
- 21.2k