For each m > 1 let Zm = {0,1,2,...,m 1}, and let Fm =
Chapter , Problem 6.13(choose chapter or problem)
For each m > 1 let Zm = {0,1,2,...,m 1}, and let Fm = (Zm,+,) be the model whose universe is Zm and that has relations corresponding to the + and relations computed modulo m. Show that for each m, the theory Th(Fm) is decidable.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer