![]() | ![]() |
| 2010 | ||
|---|---|---|
| 6 | Sedki Boughattas, Leszek Aleksander Kolodziejczyk: The strength of sharply bounded induction requires MSP. Ann. Pure Appl. Logic 161(4): 504-510 (2010) | |
| 5 | Sedki Boughattas, Jean-Pierre Ressayre: Bootstrapping, part I. Ann. Pure Appl. Logic 161(4): 511-533 (2010) | |
| 2008 | ||
| 4 | Sedki Boughattas, Jean-Pierre Ressayre: Arithmetization of the field of reals with exponentiation extended abstract. ITA 42(1): 105-119 (2008) | |
| 2000 | ||
| 3 | Sedki Boughattas: Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle. J. Symb. Log. 65(1): 111-154 (2000) | |
| 1993 | ||
| 2 | Sedki Boughattas: Resultats Optimaux sur L'Existenece d'une Partie Entiere dans les Corps Ordonnes. J. Symb. Log. 58(1): 326-333 (1993) | |
| 1991 | ||
| 1 | Sedki Boughattas: L'Arithemétique Ouverte et ses Modèles Non-Standards. J. Symb. Log. 56(2): 700-714 (1991) | |
| 1 | Leszek Aleksander Kolodziejczyk | [6] |
| 2 | Jean-Pierre Ressayre | [4] [5] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page