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.
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
Definability in arithmetic and the zbv-coding method applied to languages with successor and coprimeness
Pas de résumé disponible.