Неконструктивизируемость некоторых упорядоченных полей вещественных чисел. Н.Г. Хисамиев (1987) Sibirskij matematiceskij zurnal