1995, "Frege's theorem and the Peano postulates," "Bulletin of Symbolic Logic 1": 317-326.