On the first-order theory of the remainder
arXiv:2506.03204
Abstract
It is proved that the first-order theory of the structure (N,mod) is undecidable. Here mod denotes the operation of computing the remainder for any division between positive integers; i.e. x mod y is the remainder obtained by the division x : y.
2 pages