Remarks on undecidability of indecomposable polynomial rings

Remarks on undecidability of indecomposable polynomial rings

We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org 2023-09
Hauptverfasser: Barone, Marco, Caro-Montoya, Nicolás, Naziazeno, Eudes
Format: Artikel
Sprache:eng
Schlagworte:
Arithmetic
Mathematical analysis
Polynomials
Rings (mathematics)
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We prove that arithmetic is interpretable in any indecomposable polynomial ring (in any set of variables), and in addition we provide an alternative uniform proof of undecidability for all members in this class of rings.
ISSN:2331-8422