scientific article; zbMATH DE number 952488

zbMath0856.03007MaRDI QIDQ4717487

Alexis Bès, Denis Richard

Publication date: 24 February 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Skolem arithmeticprimary numberscoprimeness predicate

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Related Items (1)

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)

This page was built for publication: