On polynomial systems of equations in square matrices filled with natural numbers
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915401617637376 |
|---|---|
| author | Prunescu, Mihai |
| author_facet | Prunescu, Mihai |
| contents | The positive existential theories of the sets $M_n(\mathbb N)$ 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 $M_n(\mathbb Z)$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2507_15265 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | On polynomial systems of equations in square matrices filled with natural numbers Prunescu, Mihai Logic Number Theory 11U55, 11D72, 11C20, 15B48 The positive existential theories of the sets $M_n(\mathbb N)$ 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 $M_n(\mathbb Z)$. |
| title | On polynomial systems of equations in square matrices filled with natural numbers |
| topic | Logic Number Theory 11U55, 11D72, 11C20, 15B48 |
| url | https://arxiv.org/abs/2507.15265 |