Mixed quantifier prefixes over Diophantine equations with integer variables

DOI10.1007/S11424-024-4159-ZMaRDI QIDQ6865840zbMATH OpenFDO

Authors Zhi-Wei Sun

Publication date 30 January 2026

Published in Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S11424-024-4159-Z

zbMATH Keywords

Diophantine equationsHilbert's tenth problemmixed quantifiersundecidability

Mathematics Subject Classification ID

Diophantine equations (11Dxx)

Cites work

• \mathbb Q\setminus \mathbb Z is diophantine over \mathbb Q with 32 unknowns
• ANEW RELATION‐COMBINING THEOREM AND ITS APPLICATION
• Arithmetical problems and recursively enumerable predicates
• Arithmetical representations of enumerable sets with a small number of quantifiers
• Classification of Quantifier Prefixes Over Diophantine Equations
• Computational complexities of diophantine equations with parameters
• Further results on Hilbert's tenth problem
• General recursive functions of natural numbers
• Hilbert's Tenth Problem is Unsolvable
• Hilbert's tenth problem. Diophantine classes and extensions to global fields
• scientific article; zbMATH DE number 3987272 (Why is no real title available?)
• scientific article; zbMATH DE number 3700811 (Why is no real title available?)
• scientific article; zbMATH DE number 47996 (Why is no real title available?)
• scientific article; zbMATH DE number 3586989 (Why is no real title available?)
• scientific article; zbMATH DE number 545277 (Why is no real title available?)
• scientific article; zbMATH DE number 1859221 (Why is no real title available?)
• scientific article; zbMATH DE number 3336816 (Why is no real title available?)
• Mixed sums of squares and triangular numbers. III
• On computable numbers, with an application to the Entscheidungsproblem.
• Recursively enumerable sets of positive integers and their decision problems
• Reduction of an arbitrary diophantine equation to one in 13 unknowns
• Reduction of unknowns in diophantine representations
• The decision problem for exponential diophantine equations
• The fixed point problem of a simple reversible language
• Uncomputably large integral points on algebraic plane curves?
• Universal diophantine equation
• Universally defining Z$\mathbb {Z}$ in Q$\mathbb {Q}$ with 10 quantifiers

This page was built for publication: Mixed quantifier prefixes over Diophantine equations with integer variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6865840)