Studia Logica: An International Journal for Symbolic Logic, Vol. 106, No. 2 (April 2018), pp. 219-235 (17 pages) We prove that for any recursively axiomatized consistent extension of Peano Arithmetic, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback