PP-2016-31: Paula Henk, V. Yu. Shavrukov A Solovay function for the least 1-inconsistent subtheory of PA 1.Full Text, 2.Abstract. < Back
