Found 1 document(s)
Page 1 of 1
-
We present a method to define unary relations P1 , . . . , Pn such that the Monadic Second-Order theory of the natural integers en- dowed with the successor relation and P1 , . . . , Pn is decidable. The main tool is a n...