Ibrahim Garro

• Independence proofs in arithmetic theories with very weak induction