Sedki Boughattas

Learn More
(1) Shepherdson proved that a discrete unitary commutative semi-ring A satisfies IE0 (induction scheme restricted to quantifier free formulas) iff A is integral part of a real closed field; and Berarducci asked about extensions of this criterion when exponentiation is added to the language of rings. Let T range over axiom systems for ordered fields with(More)
Shepherdson proved that a discrete unitary commutative semi-ring A satisfies IE0 (induction scheme restricted to quantifier free formulas) iff A is integral part of a real closed field; and Berarducci asked about extensions of this criterion when exponentiation is added to the language of rings and fields. Let T range over axiom systems for ordered fields(More)
We show that the arithmetical theory T 0 2 +Σ̂ b 1-IND |x|5 , formalized in the language of Buss, i.e. with bx/2c but without the MSP function bx/2yc, does not prove that every nontrivial divisor of a power of 2 is even. It follows that this theory proves neither NP = coNP nor S0 2 . Some arithmetical theories are not merely weak but very weak, in the sense(More)
  • 1