Cover Image

Undecidability on Diophantine equations over $\mathbb Z[i]$ with $20$ unknowns

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Matiyasevich, Yuri, Sun, Zhi-Wei
Format:	Preprint
Published:	2025
Subjects:	Number Theory Logic 11U05, 03D35, 03D25, 11D99, 11R11
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Mixed quantifier prefixes over Diophantine equations with integer variables
by: Sun, Zhi-Wei
Published: (2021)

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)

Considering The Satisfiability of Cubic Diophantine Equations
by: Rosko, Milan
Published: (2025)

On the Diophantine problem related to power circuits
by: Rybalov, Alexander
Published: (2025)

Six equations in search of a finite-fold-ness proof
by: Cantone, Domenico, et al.
Published: (2023)

Undecidability of expansions of Laurent series fields by cyclic discrete subgroups
by: Gitin, Leo
Published: (2024)

The Diophantine problem for addition and divisibility for rings of $S$-integers of quadratic imaginary extensions of $\mathbb{Q}$
by: Hormazábal, Natalia, et al.
Published: (2025)

Diophantine Maps
by: Eggink, A.
Published: (2024)

A weak version of the Strong Exponential Closure
by: D'Aquino, Paola, et al.
Published: (2019)

Quadratic Gauss sums over $\mathbb{Z}^n/c\mathbb{Z}^n$: explicit formulas, a duality theorem, and applications to Weil representations and cubic hypersurfaces over $\mathbb{F}_p$
by: Zhu, Xiao-Jie
Published: (2025)

Diophantine equations involving powers of factorials
by: Novaković, Saša
Published: (2025)

Diophantine equations involving double factorials
by: Novaković, Saša
Published: (2025)

Divisibility classes of ultrafilters and their patterns
by: Šobot, Boris
Published: (2024)

A survey on divisibility of ultrafilters
by: Šobot, Boris
Published: (2024)

$\widetilde{\mid}\hspace{1mm}$-divisibility of ultrafilters II: The big picture
by: Šobot, Boris
Published: (2023)

Hilbert's tenth problem for rings of holomorphic functions of bounded order
by: Pasten, Hector
Published: (2024)

Decidability of Extensions of Presburger Arithmetic by Hardy Field Functions
by: Brown, Hera, et al.
Published: (2025)

Undecidability in Relevant Logic
by: Knudstorp, Søren Brinck
Published: (2026)

Decidability of polynomial equations over function fields in positive characteristic
by: Daans, Nicolas
Published: (2025)

Monochromatic sums and quotients in $\mathbb N$
by: Di Nasso, Mauro, et al.
Published: (2026)

Some Diophantine equations involving arithmetic functions and Bhargava factorials
by: Baczkowski, Daniel M., et al.
Published: (2024)

A systematic approach to Diophantine equations: open problems
by: Grechuk, Bogdan
Published: (2024)

A systematic approach to Diophantine equations: two thousand solved examples
by: Wilcox, Ashleigh
Published: (2024)

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
by: Khani, Mohsen, et al.
Published: (2021)

Diophantine $D(n)$-quadruples in $\mathbb{Z}[\sqrt{4k + 2}]$
by: Chakraborty, Kalyan, et al.
Published: (2023)

Computability in infinite Galois theory and algorithmically random algebraic fields
by: Calvert, Wesley, et al.
Published: (2023)

The lattice of ideals of certain rings
by: Savin, Diana
Published: (2023)

On Diophantine graphs
by: Batta, Gergő, et al.
Published: (2024)

Arithmetic closed forms count the Mersenne primes, the Fermat primes and the twin-prime pairs
by: Prunescu, Mihai
Published: (2025)

Fibonacci Numbers and Model-Complete Axiomatization of Presburger Arithmetic Expanded with a Beatty Sequence
by: Khani, Mohsen, et al.
Published: (2025)

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers
by: Daans, Nicolas
Published: (2023)

On the representation of number-theoretic functions by arithmetic terms
by: Prunescu, Mihai, et al.
Published: (2024)

Diophantine equation related to angle bisectors and solutions of Pell's equations
by: Hirotsu, Takashi
Published: (2022)

The Diophantine equation $P(x)=\overset{r}{\underset{i=1}{\prod}}H_{n_i}$
by: Novaković, Saša
Published: (2026)

On the computational properties of basic mathematical notions
by: Normann, Dag, et al.
Published: (2022)

Benford's Law in the ring $\mathbb{Z}(\sqrt{D})$
by: Patterson, Christine, et al.
Published: (2024)

Diophantine tuples and Integral Ideals of $\mathbb{Q}(\sqrt{d})$
by: Chakraborty, Kalyan, et al.
Published: (2025)

Solution of certain Diophantine equations in Gaussian integers
by: Ghosh, Arkabarata
Published: (2024)

Thue equations over $\mathbb{C}(T)$: The Complete Solution of a Simple quartic family
by: Faye, Bernadette, et al.
Published: (2023)