KFU. Card publication. Towards the Effective Descriptive Set Theory

KAZAN
FEDERAL UNIVERSITY

- RUS
- 中文
- ES

TOWARDS THE EFFECTIVE DES&SHY;CRIPTIVE SET THEORY

Form of presentation

Articles in international journals and collections

Year of publication

2015

Язык

английский

Authors, employees of KFU

Selivanov Viktor Lvovich, author

Bibliographic description in the original language

Selivanov V.L. Towards the Effective Descriptive Set Theory / V.L. Selivanov // Lecture Notes in Computer Science, CiE 2015 (Eds. Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova). - Springer, 2015. - V. 9136. - P. 324-333.

Annotation

We extend the effective descriptive set theory to a broad class of effective topological spaces, including some classical facts like Suslin-Kleene theorem

Keywords

Effective topological space, effective Borel hierarchy, effective projective hierarchy, effective Hausdorff hierarchy

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=181613&p_lang=2

Full metadata record

Field DC	Value	Language
dc.contributor.author	Selivanov Viktor Lvovich	ru_RU
dc.date.accessioned	2015-01-01T00:00:00Z	ru_RU
dc.date.available	2015-01-01T00:00:00Z	ru_RU
dc.date.issued	2015	ru_RU
dc.identifier.citation	Selivanov V.L. Towards the Effective Descriptive Set Theory / V.L. Selivanov // Lecture Notes in Computer Science, CiE 2015 (Eds. Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova). - Springer, 2015. - V. 9136. - P. 324-333.	ru_RU
dc.identifier.uri	https://repository.kpfu.ru/eng/?p_id=181613&p_lang=2	ru_RU
dc.description.abstract	Lecture Notes in Computer Science	ru_RU
dc.description.abstract	We extend the effective descriptive set theory to a broad class of effective topological spaces, including some classical facts like Suslin-Kleene theorem	ru_RU
dc.language.iso	ru	ru_RU
dc.subject	Effective topological space	ru_RU
dc.subject	effective Borel hierarchy	ru_RU
dc.subject	effective projective hierarchy	ru_RU
dc.subject	effective Hausdorff hierarchy	ru_RU
dc.title	Towards the Effective Descriptive Set Theory	ru_RU
dc.type	Articles in international journals and collections	ru_RU