Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions
From MaRDI portal
Publication:3376536
DOI10.1002/MALQ.200510013zbMATH Open1093.03007OpenAlexW2090282292MaRDI QIDQ3376536FDOQ3376536
Publication date: 24 March 2006
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200510013
interpretationpolynomial identitiesdiophantine equationsHilbert's Tenth Problemadditive basesnumeration basis
Decidability of theories and sets of sentences (03B25) Decidability (number-theoretic aspects) (11U05)
Cited In (5)
- The number of certain integral polynomials and nonrecursive sets of integers, Part 2
- Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories
- Classification of Quantifier Prefixes Over Exponential Diophantine Equations
- Title not available (Why is that?)
- Reduction of unknowns in diophantine representations
Recommendations
This page was built for publication: Undecidable and decidable restrictions of Hilbert's Tenth Problem: images of polynomials vs. images of exponential functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3376536)