Studies In Weak Arithmetics by Patrick Cegielski