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)

zbMath0685.03039MaRDI QIDQ1825869

Serge Grigorieff, Denis 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)

Related Items (3)

Preface ⋮ A list of arithmetical structures complete with respect to the first-order definability ⋮ Definability, decidability, complexity

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)