6 found
Order:
  1.  67
    The Strength of Sharply Bounded Induction Requires M S P.Sedki Boughattas & Leszek Aleksander Kołodziejczyk - 2010 - Annals of Pure and Applied Logic 161 (4):504-510.
    We show that the arithmetical theory -INDx5, formalized in the language of Buss, i.e. with x/2 but without the MSP function x/2y, does not prove that every nontrivial divisor of a power of 2 is even. It follows that this theory proves neither NP=coNP nor.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  2.  59
    Bootstrapping, Part I.Sedki Boughattas & J. -P. Ressayre - 2010 - Annals of Pure and Applied Logic 161 (4):511-533.
    We construct models of the integers, to yield: witnessing, independence and separation results for weak systems of bounded induction.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Resultats Optimaux Sur l'Existence d'Une Partie Entiere Dans Les Corps Ordonnes.Sedki Boughattas - 1993 - Journal of Symbolic Logic 58 (1):326-333.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  21
    Trois Theoremes Sur l'Induction Pour Les formuLes Ouvertes Munies de L'Exponentielle.Sedki Boughattas - 2000 - Journal of Symbolic Logic 65 (1):111-154.
    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). - (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  10
    L'arithmétique Ouverte Et Ses Modèles Non-Standards.Sedki Boughattas - 1991 - Journal of Symbolic Logic 56 (2):700-714.
  6.  14
    Open Arithmetic and its Nonstandard Models.Sedki Boughattas - 1991 - Journal of Symbolic Logic 56 (2):700-714.