Return to Question

typos in title

Link

edited Apr 2, 2016 at 9:41

39.9k
10
186
247

Is the two variable fragment of aritheticarithmetic, i.e., theory of ($\mathbb{N}, + ,\times$), decidable?

edited tags

Link

edited Apr 2, 2016 at 8:03

Thinniyam Srinivasan Ramanatha

497
2
9

reference-request lo.logic peano-arithmetic decidability

Source Link

asked Apr 2, 2016 at 7:05

Thinniyam Srinivasan Ramanatha

497
2
9

Is the two variable fragment of arithetic i.e. theory of ($\mathbb{N}, + ,\times$) decidable?

Any references would be appreciated. Most places only address different vocabularies (e.g. a survey of arithmetical definability by Bes).

lo.logic peano-arithmetic decidability