
Unifying the model theory of first-order and second-order arithmetic via WKL0â
Keywords: بخش اولیه; 03C62; 03H15; 03C30; 03C50; Nonstandard model of arithmetic; End extension; Initial segment; Arithmetized Completeness Theorem; BΣ1; WKL0â;