About DML-CZ | FAQ | Conditions of Use | Math Archives | Contact Us
  Previous |  Up |  Next

Article

First Page Preview
Kučera, Antonín
Об aлгopифмичecкoй неапроксимируемости точных верхних гpaниц конструктивных пceвдоceчeний. (Russian) [The algorithmic nonapproximability of the least upper bounds of constructive pseudosections]. Commentationes Mathematicae Universitatis Carolinae, vol. 18 (1977), issue 3, pp. 445-453
MSC: 02E99, 02F25, 03D25, 03F99 | MR 0469727 | Zbl 0367.02015
References:
[1] МАРКОВ А. А.: Теория алгорифмов. Труды Мат. Инст. им. В. А. Стеклова XLII, (1954). Zbl 0995.90535
[2] ШАНИН Н. А.: Конструктивные вещественные числа и конструктивные функциональные пространства. Труды Мат. Инст. им. В. А. Стеклова LXVII (1962), 15-294. Zbl 1005.68507
[3] РОДЖЕРС X.: Теория рекурсивных функций и эффективная вычислимость. Москва 1972. Zbl 1170.01322
[4] ШАНИН Н. А.: O конструктивном понимании математических суждений. Труды Мат. Инст. им. В. А. Стеклова LII (1958), 226-311. Zbl 0101.04502
[5] ЦЕЙТИН Г. С: O верхних границах перечислимых множеств конструктивных вещественных чисел. Груды Мат. Инст. им. В. А. Стеклова CXIII (1970), 102-172. Zbl 1098.81563
[6] КАНОВИЧ М. И.: Сложность ограниченного разрешения алгорифмов, Исследования по теории алгорифмов и математической логике. ВЦ АН СССР Москва 1973, 3-41. Zbl 1170.01397
[7] КАНОВИЧ М. И.: Об универсальности сильно неразрешимых множеств. Доклады АН СССР 204 (1972), 533-535. MR 0304144 | Zbl 1170.01322
[8] КАНОВИЧ М. И.: Сложность предела шпекеровых последовательностей. Доклады АН СССР 214 (1974), 1020-1023. MR 0340008 | Zbl 1170.01350
Partner of
EuDML logo