共 15 条
[1]
Dekker J. C. E., 1955, T AM MATH SOC, V78, P129
[3]
Friedberg R.M., 1958, J SYMBOLIC LOGIC, V23, P309, DOI [10.2307/2964290, DOI 10.2307/2964290]
[5]
Gordon Rice H., 1956, T AM MATH SOC, V83, P277
[6]
KLEENE SC, 1952, INTRODUCTION METAMAT
[7]
MARTIN DA, 1963, J SYMBOLIC LOGIC, V28, P273
[8]
MUCNIK AA, 1956, DOKL AKAD NAUK SSSR, V108, P194
[9]
Post E.L., 1944, B AM MATH SOC, V50, P284, DOI [DOI 10.1090/S0002-9904-1944-08111-1, 10.1090/S0002-9904-1944-08111-1]
[10]
SACKS GE, 1963, ANNALS MATHEMATICAL