Roman Kossak

Suggest Changes
Learn More
/ Introduction Let L be the language of Peano Arithmetic (PA). If Mis a nonstandard model of PA then any arithmetization of L determines a nonstandard language Form (M), consisting of the formulas in(More)