Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
223 views

Is this fragment of arithmetic on $p^{-\infty} {\mathbb Z}$ decidable?

Let $p$ be a prime number. Consider the abelian group $p^{-\infty} {\mathbb Z} = \bigcup p^{-n} {\mathbb Z}$ consisting of rational numbers whose denominator is a power of $p$, under addition. View $...
Marty's user avatar
  • 13.3k