Standard

Towards a descriptive set theory for domain-like structures. / Selivanov, Victor L.

In: Theoretical Computer Science, Vol. 365, No. 3, 12.11.2006, p. 258-282.

Research output: Contribution to journal › Article › peer-review

Harvard

Selivanov, VL 2006, 'Towards a descriptive set theory for domain-like structures', Theoretical Computer Science, vol. 365, no. 3, pp. 258-282. https://doi.org/10.1016/j.tcs.2006.07.053

APA

Selivanov, V. L. (2006). Towards a descriptive set theory for domain-like structures. Theoretical Computer Science, 365(3), 258-282. https://doi.org/10.1016/j.tcs.2006.07.053

Vancouver

Selivanov VL. Towards a descriptive set theory for domain-like structures. Theoretical Computer Science. 2006 Nov 12;365(3):258-282. https://doi.org/10.1016/j.tcs.2006.07.053

Author

Selivanov, Victor L. / Towards a descriptive set theory for domain-like structures. In: Theoretical Computer Science. 2006 ; Vol. 365, No. 3. pp. 258-282.

BibTeX

@article{549ce0bfd8f54f0a8d1f412ac17ea376,
title = "Towards a descriptive set theory for domain-like structures",
abstract = "This is a survey of results in descriptive set theory for domains and similar spaces, with the emphasis on the ω-algebraic domains. We try to demonstrate that the subject is interesting in its own right and is closely related to some areas of theoretical computer science. Since the subject is still in its beginning, we discuss in detail several open questions and possible future development. We also mention some relevant facts of (effective) descriptive set theory. {\textcopyright} 2006 Elsevier B.V. All rights reserved.",
keywords = "φ{symbol}-Space, ω-Boolean operation, Algebraic domain, Borel hierarchy, Difference hierarchy, Effective space, Polish space, Wadge reducibility",
author = "Selivanov, {Victor L.}",
year = "2006",
month = nov,
day = "12",
doi = "10.1016/j.tcs.2006.07.053",
language = "English",
volume = "365",
pages = "258--282",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "3",

}

RIS

TY - JOUR

T1 - Towards a descriptive set theory for domain-like structures

AU - Selivanov, Victor L.

PY - 2006/11/12

Y1 - 2006/11/12

N2 - This is a survey of results in descriptive set theory for domains and similar spaces, with the emphasis on the ω-algebraic domains. We try to demonstrate that the subject is interesting in its own right and is closely related to some areas of theoretical computer science. Since the subject is still in its beginning, we discuss in detail several open questions and possible future development. We also mention some relevant facts of (effective) descriptive set theory. © 2006 Elsevier B.V. All rights reserved.

AB - This is a survey of results in descriptive set theory for domains and similar spaces, with the emphasis on the ω-algebraic domains. We try to demonstrate that the subject is interesting in its own right and is closely related to some areas of theoretical computer science. Since the subject is still in its beginning, we discuss in detail several open questions and possible future development. We also mention some relevant facts of (effective) descriptive set theory. © 2006 Elsevier B.V. All rights reserved.

KW - φ{symbol}-Space

KW - ω-Boolean operation

KW - Algebraic domain

KW - Borel hierarchy

KW - Difference hierarchy

KW - Effective space

KW - Polish space

KW - Wadge reducibility

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

U2 - 10.1016/j.tcs.2006.07.053

DO - 10.1016/j.tcs.2006.07.053

M3 - Article

AN - SCOPUS:33750078125

VL - 365

SP - 258

EP - 282

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 3

ER -

ID: 127139841