Any references would be appreciated. Most places only address different vocabularies (e.g. a survey of arithmetical definability by Bes).
Is the two variable fragment of arithetic i.e. theory of ($\mathbb{N}, + ,\times$) decidable?
Thinniyam Srinivasan Ramanatha
- 497
- 2
- 9