Форма представления | Статьи в зарубежных журналах и сборниках |
Год публикации | 2014 |
Язык | английский |
|
Селиванов Виктор Львович, автор
|
|
Schroeder Matthias , автор
|
Библиографическое описание на языке оригинала |
Schroeder M. Hyperprojective Hierarchy of qcb0-Spaces / M. Schroeder, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2014 (Eds. Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer). - Springer, 2014. - V. 8493. - P. 352-361. |
Аннотация |
We introduce and study hyperprojective hierarchy of qcb-spaces that includes most spaces of interest for computable analysis |
Ключевые слова |
hyperprojective hierarchy, qcb-space, cartesial closed category, Kleene-Kreisel functionals |
Название журнала |
Lecture Notes in Computer Science
|
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на эту карточку |
https://repository.kpfu.ru/?p_id=181625 |
Полная запись метаданных |
Поле DC |
Значение |
Язык |
dc.contributor.author |
Селиванов Виктор Львович |
ru_RU |
dc.contributor.author |
Schroeder Matthias |
ru_RU |
dc.date.accessioned |
2014-01-01T00:00:00Z |
ru_RU |
dc.date.available |
2014-01-01T00:00:00Z |
ru_RU |
dc.date.issued |
2014 |
ru_RU |
dc.identifier.citation |
Schroeder M. Hyperprojective Hierarchy of qcb0-Spaces / M. Schroeder, V.L. Selivanov // Lecture Notes in Computer Science, CiE 2014 (Eds. Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer). - Springer, 2014. - V. 8493. - P. 352-361. |
ru_RU |
dc.identifier.uri |
https://repository.kpfu.ru/?p_id=181625 |
ru_RU |
dc.description.abstract |
Lecture Notes in Computer Science |
ru_RU |
dc.description.abstract |
We introduce and study hyperprojective hierarchy of qcb-spaces that includes most spaces of interest for computable analysis |
ru_RU |
dc.language.iso |
ru |
ru_RU |
dc.subject |
hyperprojective hierarchy |
ru_RU |
dc.subject |
qcb-space |
ru_RU |
dc.subject |
cartesial closed category |
ru_RU |
dc.subject |
Kleene-Kreisel functionals |
ru_RU |
dc.title |
Hyperprojective Hierarchy of qcb0-Spaces |
ru_RU |
dc.type |
Статьи в зарубежных журналах и сборниках |
ru_RU |
|