All Questions
1 question
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 $...