Standard

Total representations. / Selivanov, Victor.

в: Logical Methods in Computer Science, Том 9, № 2, 11.06.2013, стр. 1-30.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Selivanov, V 2013, 'Total representations', Logical Methods in Computer Science, Том. 9, № 2, стр. 1-30. https://doi.org/10.2168/LMCS-9(2:05)2013

APA

Selivanov, V. (2013). Total representations. Logical Methods in Computer Science, 9(2), 1-30. https://doi.org/10.2168/LMCS-9(2:05)2013

Vancouver

Selivanov V. Total representations. Logical Methods in Computer Science. 2013 Июнь 11;9(2):1-30. https://doi.org/10.2168/LMCS-9(2:05)2013

Author

Selivanov, Victor. / Total representations. в: Logical Methods in Computer Science. 2013 ; Том 9, № 2. стр. 1-30.

BibTeX

@article{f348497c8331437fb2424559dff5be9d,
title = "Total representations",
abstract = "Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.",
keywords = "Baire space, Continuous function, Hierarchy, Reducibility, Representation, Space, Total representation",
author = "Victor Selivanov",
year = "2013",
month = jun,
day = "11",
doi = "10.2168/LMCS-9(2:05)2013",
language = "English",
volume = "9",
pages = "1--30",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
publisher = "Technischen Universitat Braunschweig",
number = "2",

}

RIS

TY - JOUR

T1 - Total representations

AU - Selivanov, Victor

PY - 2013/6/11

Y1 - 2013/6/11

N2 - Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.

AB - Almost all representations considered in computable analysis are partial. We provide arguments in favor of total representations (by elements of the Baire space). Total representations make the well known analogy between numberings and representations closer, unify some terminology, simplify some technical details, suggest interesting open questions and new invariants of topological spaces relevant to computable analysis.

KW - Baire space

KW - Continuous function

KW - Hierarchy

KW - Reducibility

KW - Representation

KW - Space

KW - Total representation

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

U2 - 10.2168/LMCS-9(2:05)2013

DO - 10.2168/LMCS-9(2:05)2013

M3 - Article

AN - SCOPUS:84878623998

VL - 9

SP - 1

EP - 30

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 2

ER -

ID: 127085565