scientific article; zbMATH DE number 3786757

zbMATH Open0499.03027MaRDI QIDQ3964548FDOQ3964548

Authors:

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

undecidabilityexponential functionsexponential diophantine equationsexponential diophantine representationKalmar elementary set

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Decidability and field theory (12L05) Recursive functions and relations, subrecursive hierarchies (03D20) Undecidability and degrees of sets of sentences (03D35) Decidability (number-theoretic aspects) (11U05)

Cited In (2)

• Martin Davis and Hilbert's tenth problem
• Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets

This page was built for publication:

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