Note on Quantifier Prefixes Over Diophantine Equations

DOI10.1002/malq.19860322503zbMath0583.03004OpenAlexW2017098771MaRDI QIDQ3707986

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

densityresidue classesHilbert irreducibility

Mathematics Subject Classification ID

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

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