Définissabilité en arithmétique et méthode de codage Z B V appliquée à des langages avec successeur et coprimarité

par Denis Richard

Thèse de doctorat en Sciences. Mathématiques

Sous la direction de Serge Grigorieff.

Soutenue en 1985

à Lyon 1 .

Le jury était composé de Serge Grigorieff.

mots clés

• Décidabilité (logique mathématique)
• Nombres, Théorie des
• Théorie de la définissabilité (mathématiques)

Résumé

Introduction- preliminaires arithmetiques. Preliminaires logiques. Exemples de langages synonymes sur n. Publications en langue anglaise : (all arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate. Answer to a problem raised by julia robinson : the arithmetic of positive or negative integers is definable from successor and divisibility. Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers). S, orthogonal et autre chose sur n. Notes aux comptes rendus de l'academie des sciences de paris. Fascicule de resultats. Index et bibliographie

Titre traduit

Definability in arithmetic and the zbv-coding method applied to languages with successor and coprimeness

Pas de résumé disponible.