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,369

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.
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.
Note on Quantifier Prefixes Over Diophantine Equations.Charles N. Delzell - 1986 - Mathematical Logic Quarterly 32 (25-30):395-397.
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.

Analytics

Added to PP
2013-10-31

Downloads
15 (#1,241,352)

6 months
4 (#1,264,753)

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