Journal of Symbolic Logic 65 (1):111-154 (2000)

Abstract
Nous montrons que: - la théorie T vérifée par la partie non-négative des anneaux ordonnés, discrets, dans lesquels le quotient euclidien par un entier standard quelconque existe, et la théorie IE0(2x) de l'induction pour les formules ouvertes dans le langage Lexp formé par les symboles d'addition, de multiplication, de relation d'ordre, d'exponentielle (2x) et des constantes 0 et 1, ont les mêmes conséquences universelles dans le langage de T. - la théorie IE0(2x) ne démontre pas - (3 divise 2x). - la théorie IE0(2x) ne démontre pas que l'ensemble des nombres premiers est existentiellement définissable dans le langage Lexp
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586527
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,666
Through your library

References found in this work BETA

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

Add more references

Citations of this work BETA

Bootstrapping, Part I.Sedki Boughattas & J. -P. Ressayre - 2010 - Annals of Pure and Applied Logic 161 (4):511-533.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
21 ( #473,182 of 2,349,372 )

Recent downloads (6 months)
2 ( #330,956 of 2,349,372 )

How can I increase my downloads?

Downloads

My notes