The following pages link to Sedki Boughattas (Q636289):
Displaying 12 items.
- The strength of sharply bounded induction requires MSP (Q636290) (← links)
- Bootstrapping. I (Q636291) (← links)
- (Q937903) (redirect page) (← links)
- New models of bounded induction axioms (Q937904) (← links)
- (Q3172122) (← links)
- Arithmetization of the field of reals with exponentiation extended abstract (Q3514637) (← links)
- (Q3819064) (← links)
- L'arithmétique ouverte et ses modèles non-standards (Q3984444) (← links)
- (Q3985699) (← links)
- L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable (Q4894533) (← links)
- Trois theoremes sur l'induction pour les formules ouvertes munies de l'exponentielle (Q4953210) (← links)
- Resultats optimaux sur l'existence d'une partie entiere dans les corps ordonnes (Q5287695) (← links)
