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)

MaRDI QIDQ1825869zbMATH OpenFDO

Authors Serge Grigorieff, D. Richard

Publication date 1989

Published in L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)

zbMATH Keywords

codingarithmetical definabilitycoprimeness relationRobinson problem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 3941535
• scientific article; zbMATH DE number 4110684
• scientific article; zbMATH DE number 3926911
• Publication:4735188
• scientific article; zbMATH DE number 4027424
• Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
• scientific article; zbMATH DE number 3884151
• scientific article; zbMATH DE number 952488
• scientific article; zbMATH DE number 23426
• All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate

Cited in

(7)

• scientific article; zbMATH DE number 4121991 (Why is no real title available?)
• Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
• scientific article; zbMATH DE number 3941535 (Why is no real title available?)
• scientific article; zbMATH DE number 4027424 (Why is no real title available?)
• Definability, decidability, complexity
• A list of arithmetical structures complete with respect to the first-order definability
• Preface

This page was built for publication: 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)

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