scientific article; zbMATH DE number 3941535

MaRDI QIDQ3714077zbMATH OpenFDO

Authors D. Richard

Publication date 1985

zbMATH Keywords

coprimality predicatedefinability of functions and predicates in arithmeticpredicate of quadratic residuationsuccessor function

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 3926911
• scientific article; zbMATH DE number 4110684
• Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
• All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate
• 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)

Cited in

(11)

• 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)
• All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate
• scientific article; zbMATH DE number 440118 (Why is no real title available?)
• Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
• scientific article; zbMATH DE number 3926911 (Why is no real title available?)
• scientific article; zbMATH DE number 4055587 (Why is no real title available?)
• scientific article; zbMATH DE number 4110684 (Why is no real title available?)
• scientific article; zbMATH DE number 23426 (Why is no real title available?)
• scientific article; zbMATH DE number 4121991 (Why is no real title available?)
• On explicit definability in arithmetic
• A list of arithmetical structures complete with respect to the first-order definability

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