scientific article; zbMATH DE number 5507563

zbMATH Open1167.03008MaRDI QIDQ3602608FDOQ3602608

Authors: Karim Zahidi, Thanases Pheidas 

Publication date: 12 February 2009

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

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

zbMATH Keywords

decidabilitysurvey articleHilbert's tenth problemexistential theorypositive existential theory

Mathematics Subject Classification ID

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

Cited In (11)

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

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)