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.


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (pagination multiple [ca 280] p.)
  • Annexes : Bibliogr. p. i-iii et notes bibliographiques dans chaque article

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Claude Bernard (Villeurbanne, Rhône). Service commun de la documentation. BU Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Université Claude Bernard (Villeurbanne, Rhône). Service commun de la documentation. BU Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : THESE 07154
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.