共 9 条
[1]
Ershov Y.L., 1965, RUSS MATH SURV, V20, P35, DOI DOI 10.1070/RM1965V020N04ABEH001188
[2]
Ershov Yu. L., 1964, ALGEBRA LOGIKA SEMIN, V3, P17
[3]
Feferman S., 1959, FUND MATH, V47, P57, DOI [10.4064/fm-47-1-57-103, DOI 10.4064/FM-47-1-57-103]
[4]
Henkin Leon, 1961, P S PURE MATH, VII, P83
[5]
Jonsson B., 1952, PART 2 AM J MATH, V74, P127, DOI [10.2307/2372074, DOI 10.2307/2372074]
[6]
Jonsson B., 1951, AM J MATH, V73, P891, DOI [10.2307/2372123, DOI 10.2307/2372123]
[7]
RABIN MO, 1965, 1964 P INT C, P58
[8]
TARSKI A, 1949, B AM MATH SOC, V55, P64
[9]
TARSKI A., 1953, UNDECIDABLE THEORIES