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
zbMATH Open0685.03039MaRDI QIDQ1825869FDOQ1825869
Authors: Serge Grigorieff, D. Richard 
Publication date: 1989
Published in: L'Enseignement Mathématique. 2e Série (Search for Journal in Brave)
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
- 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)
- Title not available (Why is that?)
- Answer to a problem raised by J. Robinson: The arithmetic of positive or negative integers is definable from successor and divisibility
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
