Standard

Highlights of the rice-shapiro theorem in computable topology. / Korovina, Margarita; Kudinov, Oleg.

Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. ред. / AK Petrenko; A Voronkov. Springer-Verlag GmbH and Co. KG, 2018. стр. 241-255 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 10742 LNCS).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

Harvard

Korovina, M & Kudinov, O 2018, Highlights of the rice-shapiro theorem in computable topology. в AK Petrenko & A Voronkov (ред.), Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Том. 10742 LNCS, Springer-Verlag GmbH and Co. KG, стр. 241-255, 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017, Moscow, Российская Федерация, 27.06.2017. https://doi.org/10.1007/978-3-319-74313-4_18

APA

Korovina, M., & Kudinov, O. (2018). Highlights of the rice-shapiro theorem in computable topology. в AK. Petrenko, & A. Voronkov (Ред.), Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers (стр. 241-255). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Том 10742 LNCS). Springer-Verlag GmbH and Co. KG. https://doi.org/10.1007/978-3-319-74313-4_18

Vancouver

Korovina M, Kudinov O. Highlights of the rice-shapiro theorem in computable topology. в Petrenko AK, Voronkov A, Редакторы, Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Springer-Verlag GmbH and Co. KG. 2018. стр. 241-255. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-74313-4_18

Author

Korovina, Margarita ; Kudinov, Oleg. / Highlights of the rice-shapiro theorem in computable topology. Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers. Редактор / AK Petrenko ; A Voronkov. Springer-Verlag GmbH and Co. KG, 2018. стр. 241-255 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

BibTeX

@inproceedings{21919e30ad8e425c92eb2ef6d3b53ab5,
title = "Highlights of the rice-shapiro theorem in computable topology",
abstract = "Computable topological spaces naturally arise in computer science for continuous data type representations that have tools for effective reasoning about quite complex objects such as real numbers and functions, solutions of differential equations, functionals and operators. Algebraic and continuous domains, computable metric spaces, computable Polish spaces have been successfully used in the theoretical foundation of computer science. In this paper we consider generalisations of the famous Rice-Shapiro theorem in the framework of effectively enumerable topological spaces that contain the weakly-effective ω –continuous domains and computable metric spaces as proper subclasses. We start with the classical case when the spaces admit principal computable numberings of computable elements and one can investigate arithmetical complexity of index sets. We provide requirements on effectively enumerable topological spaces which guarantee that the Rice-Shapiro theorem holds for the computable elements of these spaces. It turns out that if we relax these requirements then the Rice-Shapiro theorem does not hold. Then we discuss the perspective of extensions of the Rice-Shapiro theorem to spaces that do not have computable numberings of computable elements, in particular to computable Polish spaces.",
keywords = "Arithmetical complexity, Continuous data type, Program semantics, The Rise-Shapiro theorem, INDEX SETS, INSEPARABILITY",
author = "Margarita Korovina and Oleg Kudinov",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-74313-4_18",
language = "English",
isbn = "9783319743127",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag GmbH and Co. KG",
pages = "241--255",
editor = "AK Petrenko and A Voronkov",
booktitle = "Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers",
address = "Germany",
note = "11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017 ; Conference date: 27-06-2017 Through 29-06-2017",

}

RIS

TY - GEN

T1 - Highlights of the rice-shapiro theorem in computable topology

AU - Korovina, Margarita

AU - Kudinov, Oleg

PY - 2018/1/1

Y1 - 2018/1/1

N2 - Computable topological spaces naturally arise in computer science for continuous data type representations that have tools for effective reasoning about quite complex objects such as real numbers and functions, solutions of differential equations, functionals and operators. Algebraic and continuous domains, computable metric spaces, computable Polish spaces have been successfully used in the theoretical foundation of computer science. In this paper we consider generalisations of the famous Rice-Shapiro theorem in the framework of effectively enumerable topological spaces that contain the weakly-effective ω –continuous domains and computable metric spaces as proper subclasses. We start with the classical case when the spaces admit principal computable numberings of computable elements and one can investigate arithmetical complexity of index sets. We provide requirements on effectively enumerable topological spaces which guarantee that the Rice-Shapiro theorem holds for the computable elements of these spaces. It turns out that if we relax these requirements then the Rice-Shapiro theorem does not hold. Then we discuss the perspective of extensions of the Rice-Shapiro theorem to spaces that do not have computable numberings of computable elements, in particular to computable Polish spaces.

AB - Computable topological spaces naturally arise in computer science for continuous data type representations that have tools for effective reasoning about quite complex objects such as real numbers and functions, solutions of differential equations, functionals and operators. Algebraic and continuous domains, computable metric spaces, computable Polish spaces have been successfully used in the theoretical foundation of computer science. In this paper we consider generalisations of the famous Rice-Shapiro theorem in the framework of effectively enumerable topological spaces that contain the weakly-effective ω –continuous domains and computable metric spaces as proper subclasses. We start with the classical case when the spaces admit principal computable numberings of computable elements and one can investigate arithmetical complexity of index sets. We provide requirements on effectively enumerable topological spaces which guarantee that the Rice-Shapiro theorem holds for the computable elements of these spaces. It turns out that if we relax these requirements then the Rice-Shapiro theorem does not hold. Then we discuss the perspective of extensions of the Rice-Shapiro theorem to spaces that do not have computable numberings of computable elements, in particular to computable Polish spaces.

KW - Arithmetical complexity

KW - Continuous data type

KW - Program semantics

KW - The Rise-Shapiro theorem

KW - INDEX SETS

KW - INSEPARABILITY

UR - http://www.scopus.com/inward/record.url?scp=85041749979&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-74313-4_18

DO - 10.1007/978-3-319-74313-4_18

M3 - Conference contribution

AN - SCOPUS:85041749979

SN - 9783319743127

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 241

EP - 255

BT - Perspectives of System Informatics - 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Revised Selected Papers

A2 - Petrenko, AK

A2 - Voronkov, A

PB - Springer-Verlag GmbH and Co. KG

T2 - 11th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2017

Y2 - 27 June 2017 through 29 June 2017

ER -

ID: 10453960