Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations

DOI10.1002/malq.19850310703zbMath0609.03002OpenAlexW2074719326MaRDI QIDQ5903327

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

decision proceduremajorization relation

Mathematics Subject Classification ID

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

Related Items (2)

Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets ⋮ Martin Davis and Hilbert’s Tenth Problem

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