Classification of Quantifier Prefixes Over Diophantine Equations

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):403-410 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19810272504

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,139

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Charles N. Delzell, Note on Quantifier Prefixes Over Diophantine Equations; J. P. Jones, H. Levitz, A. J. Wilkie, Classification of Quantifier Prefixes over Exponential Diophantine Equations. [REVIEW]Shih Ping Tung - 1988 - Journal of Symbolic Logic 53 (1):309-310.
Classification of Quantifier Prefixes Over Diophantine Equations.James P. Jones - 1981 - Mathematical Logic Quarterly 27 (25‐30):403-410.
Note on Quantifier Prefixes Over Diophantine Equations.Charles N. Delzell - 1986 - Mathematical Logic Quarterly 32 (25‐30):395-397.
Correction to “Note on Quantifier Prefixes Over Diophantine Equations”.Charles N. Delzell - 1988 - Mathematical Logic Quarterly 34 (3):283-286.
Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions.Mihai Prunescu - 2006 - Mathematical Logic Quarterly 52 (1):14-19.
Existential arithmetization of Diophantine equations.Yuri Matiyasevich - 2009 - Annals of Pure and Applied Logic 157 (2-3):225-233.
Ω in number theory.Toby Ord - 2007 - In C. S. Calude (ed.), Randomness and Complexity, from Leibniz to Chaitin. World Scientific. pp. 161-173.
The diversity of quantifier prefixes.H. Jerome Keisler & Wilbur Walkoe - 1973 - Journal of Symbolic Logic 38 (1):79-85.
On the existence of a new family of diophantine equations for Ω.Toby Ord - 2003 - Fundamenta Informaticae 56:273-284.
A direct method for simulating partial recursive functions by Diophantine equations.Yuri Matiyasevich - 1994 - Annals of Pure and Applied Logic 67 (1-3):325-348.
On diophantine equations solvable in models of open induction.Margarita Otero - 1990 - Journal of Symbolic Logic 55 (2):779-786.
Locus equations in models of human classification behavior.Roel Smits - 1998 - Behavioral and Brain Sciences 21 (2):284-285.
Diophantine equivalence and countable rings.Alexandra Shlapentokh - 1994 - Journal of Symbolic Logic 59 (3):1068-1095.
Diophantine equations in fragments of arithmetic.Ulf R. Schmerl - 1988 - Annals of Pure and Applied Logic 38 (2):135-170.
Corrigendum: On diophantine equations solvable in models of open induction.Margarita Otero - 1991 - Journal of Symbolic Logic 56 (3):811-812.

Analytics

Added to PP
2015-12-02

Downloads
25 (#581,490)

6 months
1 (#1,346,405)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Extensions of Hilbert's tenth problem.Thanases Pheidas - 1994 - Journal of Symbolic Logic 59 (2):372-397.

Add more citations

References found in this work

Computability & Unsolvability.Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.

Add more references