We found a match
Your institution may have rights to this item. Sign in to continue.
- Title
Classification of Quantifier Prefixes Over Exponential Diophantine Equations.
- Authors
Jones, J. P.; Levitz, H.; Wilkie, A. J.
- Abstract
The article focuses on the classification of quantifier prefixes over Diophantine equations. Based on the classification scheme, a prefix class is though to be solvable when formulas can be define only general recursive sets. It mentions that in the article of Y. V. Matijasevi&#x010D, prefixes can only be considered with bounded quantifiers.
- Subjects
DIOPHANTINE equations; CLASSIFICATION; SUFFIXES &; prefixes (Grammar); RECURSIVELY enumerable sets; MATIJASEVIC, Y. V.; QUANTIFIERS (Linguistics)
- Publication
Mathematical Logic Quarterly, 1986, Vol 32, Issue 25-30, p399
- ISSN
0942-5616
- Publication type
Article
- DOI
10.1002/malq.19860322504