Note on Quantifier Prefixes Over Diophantine Equations

DOI10.1002/MALQ.19860322503MaRDI QIDQ3707986zbMATH OpenOpenAlexFDO

Authors Charles N. Delzell

Publication date 1986

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19860322503

zbMATH Keywords

densityHilbert irreducibilityresidue classes

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Undecidability and degrees of sets of sentences (03D35) Diophantine equations in many variables (11D72) Decidability (number-theoretic aspects) (11U05)

Recommendations

• Correction to “Note on Quantifier Prefixes Over Diophantine Equations”
• Classification of Quantifier Prefixes Over Exponential Diophantine Equations
• Computational complexities of diophantine equations with parameters
• Further results on Hilbert's tenth problem
• Questions of decidability and undecidability in Number Theory

Cited in

(2)

• Correction to “Note on Quantifier Prefixes Over Diophantine Equations”
• Classification of Quantifier Prefixes Over Exponential Diophantine Equations

This page was built for publication: Note on Quantifier Prefixes Over Diophantine Equations

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