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)
From MaRDI portal
Publication:1825869
zbMath0685.03039MaRDI QIDQ1825869
Serge Grigorieff, Denis Richard
Publication date: 1989
Published in: L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)
03F30: First-order arithmetic and fragments
Related Items
Preface, A list of arithmetical structures complete with respect to the first-order definability, Definability, decidability, complexity