关于余数的一阶理论
逻辑
2025-06-05 v1
摘要
本文证明了结构 的一阶理论是不可判定的。这里 表示计算任意正整数之间除法的余数运算；即 是通过除法 获得的余数。
引用
@article{arxiv.2506.03204,
title = {On the first-order theory of the remainder},
author = {Mihai Prunescu},
journal= {arXiv preprint arXiv:2506.03204},
year = {2025}
}
备注
2 pages