Numeral completeness of weak theories of arithmetic. - Kahle, Reinhard; Oitavem, Isabel; Santos, Paulo Guilherme (Journal of Logic & Computation, 2025)