Struct Models Peano Arithmetic Olg:c C door James Schmerl, Roman Kossak & James H. Schmerl