| Title:
|
Об областях определения эффективных операторов над общерекурсинными функциями и конструктивных функций действительной переменной (Russian) |
| Title:
|
The domains of definition of effective operators over general recursive functions and of constructive functions of a real variable (English) |
| Title:
|
Über Definitionsbereiche effektiver Operatoren über allgemein- rekursiven Funktionen und konstruktiver Funktionen einer r (German) |
| Author:
|
Demuth, Osvald |
| Language:
|
Russian |
| Journal:
|
Commentationes Mathematicae Universitatis Carolinae |
| ISSN:
|
0010-2628 (print) |
| ISSN:
|
1213-7243 (online) |
| Volume:
|
17 |
| Issue:
|
4 |
| Year:
|
1976 |
| Pages:
|
633-646 |
| . |
| Category:
|
math |
| . |
| MSC:
|
02E15 |
| MSC:
|
02E99 |
| MSC:
|
02F29 |
| MSC:
|
02F35 |
| MSC:
|
02F99 |
| MSC:
|
03D55 |
| MSC:
|
03D99 |
| MSC:
|
03F99 |
| MSC:
|
54C30 |
| idZBL:
|
Zbl 0345.02025 |
| idMR:
|
MR0434791 |
| . |
| Date available:
|
2008-06-05T20:52:25Z |
| Last updated:
|
2012-04-28 |
| Stable URL:
|
http://hdl.handle.net/10338.dmlcz/105724 |
| . |
| Reference:
|
[1] МАРКОВ А. А.: Теория алгорифмов.Труды Мат. Инст. им. В. А. Стеклова ХLII (1954). Zbl 0995.90535 |
| Reference:
|
[2] ШАНИН Н. А.: Конструктивные вещественные числа и конструктивные функциональные пространства.Труды Мат. инст. им. В. А. Стеклова XLII (1962), 15-894. Zbl 1005.68507 |
| Reference:
|
[3] РОДЖЕРС X.: Теория рекурсивных функций и эффективная вычислимость.Москва 1972. Zbl 1170.01322 |
| Reference:
|
[4] ШАНИН Н. А.: O конструктивном понимании математических суждений.Труды Мат. Инст. им. В. А. Стеклова LII (1958), 226-311. Zbl 0101.04502 |
| Reference:
|
[5] MOSCHOVAKIS Y. N.: Recursive metric spaces.Fundamenta Math. LV (1964), 215-238. Zbl 0221.02015, MR 0182562 |
| Reference:
|
[6] ЦЕЙТИН Г. С: Три теоремы о конструктивных функциях.Труды Мат. инст. им. В. А. Стеклова LХХII (1964), 537-543. Zbl 1117.65300 |
| Reference:
|
[7] ДЕТЛОВС В. К.: Эквивалентность нормальных алгорифмов и рекурсивных функций.Труды Мат. Инст. им. В. А. Стеклова LII (1958), 75-139. Zbl 0995.62501 |
| . |
