Thèse soutenue

FR  |  
EN
Auteur / Autrice : Denis Richard
Direction : Serge Grigorieff
Type : Thèse de doctorat
Discipline(s) : Sciences. Mathématiques
Date : Soutenance en 1985
Etablissement(s) : Lyon 1
Jury : Examinateurs / Examinatrices : Serge Grigorieff

Résumé

FR

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