Неконструктивизируемость некоторых упорядоченных полей вещественных чисел. Н.Г. Хисамиев (1987) Sibirskij matematiceskij zurnal
Об отображении ограничения пространств порядков полей Ю.Л. Ершов (1986) Sibirskij matematiceskij zurnal
Сложность разрешения теории первого порядка вещественно замкнутых полей Д.Ю. Григорьев (1988) Zapiski naucnych seminarov Leningradskogo