scientific article; zbMATH DE number 5507563

MaRDI QIDQ3602608zbMATH OpenFDO

Authors Karim Zahidi, Thanases Pheidas

Publication date 12 February 2009

zbMATH Keywords

decidabilityexistential theoryHilbert's tenth problempositive existential theorysurvey article

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Model-theoretic algebra (03C60) Decidability (number-theoretic aspects) (11U05)

Recommendations

• scientific article; zbMATH DE number 14392
• Decision problems for classes of diagonalizable algebras
• A decision method for certain algebraic geometry problems
• Extensions of Hilbert's tenth problem: definability and decidability in number theory
• Extensions of Hilbert's tenth problem
• Decidability problem for finite Heyting algebras
• Hilbert's Tenth Problem for a Class of Rings of Algebraic Integers
• Further results on Hilbert's tenth problem
• The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences

Cited in

(12)

• A note on Kirkwood's algebraic method for decision problems
• Definability and decidability problems in number theory. Abstracts from the workshop held October 23--29, 2016
• Hilbert's tenth problem for term algebras with a substitution operator
• Undecidability of existential theories of rings and fields: A survey
• Decidability and local-global principles
• Defining integers
• Decidability of sub-theories of polynomials over a finite field
• Decidability in local and global fields
• Interpreting arithmetic in the first-order theory of addition and coprimality of polynomial rings
• Model theory in algebra, analysis and arithmetic: a preface
• Uniform definability of integers in reduced indecomposable polynomial rings
• Undecidability of indecomposable polynomial rings

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 Q3602608)