Decidability of some problems pertaining to base 2 exponential diophantine equations

Mathematical Logic Quarterly 31 (7‐8):109-115 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19850310703

Other Versions

reprint Levitz, Hilbert (1985) "Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31(7-8):109-115

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,225

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

Classification of Quantifier Prefixes Over Exponential Diophantine Equations.J. P. Jones, H. Levitz & A. J. Wilkie - 1986 - Mathematical Logic Quarterly 32 (25-30):399-406.
Conjunctions of exponential diophantine equations over $${\mathbb {Q}}$$.Mihai Prunescu - forthcoming - Archive for Mathematical Logic:1-6.
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.
Charles N. Delzell. Note on quantifier prefixes over diophantine equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 32 , pp. 395–397. - J. P. Jones, H. Levitz, and A. J. Wilkie. Classification of quantifier prefixes over exponential diophantine equations. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 32 , pp. 399–406. [REVIEW]Shih Ping Tung - 1988 - Journal of Symbolic Logic 53 (1):309-310.
Note on Quantifier Prefixes Over Diophantine Equations.Charles N. Delzell - 1986 - Mathematical Logic Quarterly 32 (25-30):395-397.
Division by zero.Emil Jeřábek - 2016 - Archive for Mathematical Logic 55 (7-8):997-1013.
The Undecidability of Exponential Diophantine Equations.Hartley Rogers & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):152.
The Decision Problem for Exponential Diophantine Equations.Martin Davis, Hilary Putnam & Julia Robinson - 1970 - Journal of Symbolic Logic 35 (1):151-152.
Classification of Quantifier Prefixes Over Diophantine Equations.James P. Jones - 1981 - Mathematical Logic Quarterly 27 (25‐30):403-410.

Analytics

Added to PP
2013-10-31

Downloads
14 (#1,275,508)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references