L'Arithemétique Ouverte et ses Modèles Non-Standards. - Sedki Boughattas (J. Symb. Log., 1991)

Resultats Optimaux sur L'Existenece d'une Partie Entiere dans les Corps Ordonnes. - Sedki Boughattas (J. Symb. Log., 1993)

Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle. - Sedki Boughattas (J. Symb. Log., 2000)

Arithmetization of the field of reals with exponentiation extended abstract. - Sedki Boughattas; Jean-Pierre Ressayre (RAIRO Theor. Informatics Appl., 2008)

The strength of sharply bounded induction requires MSP. - Sedki Boughattas; Leszek Aleksander Kolodziejczyk (Ann. Pure Appl. Log., 2010)

Bootstrapping, part I. - Sedki Boughattas; Jean-Pierre Ressayre (Ann. Pure Appl. Log., 2010)