Sedki Boughattas

According to our database, Sedki Boughattas authored at least 6 papers between 1991 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Bootstrapping, part I.

Sedki Boughattas, Jean-Pierre Ressayre

Ann. Pure Appl. Log., 2010

The strength of sharply bounded induction requires MSP.

Sedki Boughattas, Leszek Aleksander Kolodziejczyk

Ann. Pure Appl. Log., 2010

2008

Arithmetization of the field of reals with exponentiation extended abstract.

Sedki Boughattas, Jean-Pierre Ressayre

RAIRO Theor. Informatics Appl., 2008

2000

Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle.

Sedki Boughattas

J. Symb. Log., 2000

1993

Resultats Optimaux sur L'Existenece d'une Partie Entiere dans les Corps Ordonnes.

Sedki Boughattas

J. Symb. Log., 1993

1991

L'Arithemétique Ouverte et ses Modèles Non-Standards.

Sedki Boughattas

J. Symb. Log., 1991