On polynomial systems of equations in square matrices filled with natural numbers
Logic
2025-07-22 v1 Number Theory
Abstract
The positive existential theories of the sets without parameters build an inclusion lattice isomorhic with the lattice of divisibility. All these sets are algorithmically undecidable. In further sections some easier observations are made, like the undecidability of Diophantine equations with coefficients in .
Cite
@article{arxiv.2507.15265,
title = {On polynomial systems of equations in square matrices filled with natural numbers},
author = {Mihai Prunescu},
journal= {arXiv preprint arXiv:2507.15265},
year = {2025}
}