Form of presentation | Articles in international journals and collections |
Year of publication | 2014 |
Язык | английский |
|
Selivanov Viktor Lvovich, author
|
|
Schroeder Matthias , author
|
Bibliographic description in the original language |
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. |
Annotation |
We introduce and study hyperprojective hierarchy of qcb-spaces that includes most spaces of interest for computable analysis |
Keywords |
hyperprojective hierarchy, qcb-space, cartesial closed category, Kleene-Kreisel functionals |
The name of the journal |
Lecture Notes in Computer Science
|
Please use this ID to quote from or refer to the card |
https://repository.kpfu.ru/eng/?p_id=181625&p_lang=2 |
Full metadata record |
Field DC |
Value |
Language |
dc.contributor.author |
Selivanov Viktor Lvovich |
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/eng/?p_id=181625&p_lang=2 |
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 |
Articles in international journals and collections |
ru_RU |
|