Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations

DOI10.1002/MALQ.19850310703MaRDI QIDQ5903519zbMATH OpenOpenAlexFDO

Authors Hilbert Levitz

Publication date 1985

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19850310703

zbMATH Keywords

well-orderingbase 2 exponential Diophantine equations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Exponential Diophantine equations (11D61) Decidability (number-theoretic aspects) (11U05)

Recommendations

• Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
• Transcendental Numbers and Eventual Dominance of Exponential Functions
• Growth estimates for exp-log functions
• Equational Theory of Positive Numbers with Exponentiation
• Decision problems for differential equations

Cited in

(8)

• Towards finite-fold Diophantine representations
• Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
• A normal form for restricted exponential functions
• Logic for Programming, Artificial Intelligence, and Reasoning
• What can and cannot be done with Diophantine problems
• Transcendental Numbers and Eventual Dominance of Exponential Functions
• Diophantine complexity
• Two results about the rational numbers

This page was built for publication: Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5903519)