scientific article; zbMATH DE number 952488

MaRDI QIDQ4717487zbMATH OpenFDO

Authors Alexis Bès, D. Richard

Publication date 24 February 1997

zbMATH Keywords

coprimeness predicateprimary numbersSkolem arithmetic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Decidability (number-theoretic aspects) (11U05)

Recommendations

• scientific article; zbMATH DE number 221693
• scientific article; zbMATH DE number 3926911
• Decidability and undecidability of theories with a predicate for the primes

Cited in

(8)

• Universal theories of integers and the extended Bliznetsov hypothesis
• Contribution à l'étude d'une conjecture de théorie des nombres par le codage ZBV. (Contribution to the study of a conjecture of number theory by ZBV coding)
• Some proofs of undecidability of arithmetic
• scientific article; zbMATH DE number 3916265 (Why is no real title available?)
• Undecidable extensions of Skolem arithmetic
• Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem
• Undecidable wreath products and skew power series fields
• scientific article; zbMATH DE number 221693 (Why is no real title available?)

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