×

Diagonal methods and strong cuts in models of arithmetic. (English) Zbl 0458.03021

Logic colloquium ’77, Proc., Wroclaw 1977, Stud. Logic Found. Math. Vol. 96, 171-181 (1978).

MSC:

03H15 Nonstandard models of arithmetic
03F30 First-order arithmetic and fragments
03D45 Theory of numerations, effectively presented structures