Wadge Reducibility and Infinite Computations

被引：12

作者：

Selivanov, Victor ^{[1
]}

机构：

[1] Russian Acad Sci, Siberian Div, AP Ershov Inst Informat Syst, Lavrentiev Av 6, Novosibirsk 630090, Russia

来源：

MATHEMATICS IN COMPUTER SCIENCE | 2008年 / 2卷 / 01期

关键词：

Wadge reducibility; topology; Baire space; Baire domain; computability; complexity; omega-language; k-partition; automaton;

D O I：

10.1007/s11786-008-0042-x

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

This is a survey of results about Wadge reducibility in some spaces and its relation to the study of infinite (non-terminating) computations. We also discuss the related techniques and directions of future research.

引用

页码：5 / 36

页数：32

共 50 条

[1] On the Wadge Reducibility of k-Partitions
Selivanov, Victor
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 202 (202) : 59 - 71
[2] Variations on Wadge Reducibility Extended Abstract
Selivanov, Victor L.
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 120 : 159 - 171
[3] On the Wadge reducibility of k-partitions
Selivanov, Victor L.
[J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2010, 79 (01): : 92 - 102
[4] Reducibility and completeness in private computations
Kilian, J
Kushilevitz, E
Micali, S
Ostrovsky, R
[J]. SIAM JOURNAL ON COMPUTING, 2000, 29 (04) : 1189 - 1208
[5] Lightface Π30-Completeness of Density Sets Under Effective Wadge Reducibility
Carotenuto, Gemma
Nies, Andre
[J]. PURSUIT OF THE UNIVERSAL, 2016, 9709 : 234 - 239
[6] INFINITE ARRAYS AND INFINITE COMPUTATIONS
SIROMONEY, R
DARE, VR
SUBRAMANIAN, KG
[J]. THEORETICAL COMPUTER SCIENCE, 1983, 24 (02) : 195 - 205
[7] COMPLETE REDUCIBILITY OF INFINITE GROUPS
DIXON, JD
[J]. CANADIAN JOURNAL OF MATHEMATICS, 1964, 16 (02): : 267 - &
[8] Multirelations with infinite computations
Guttmann, Walter
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2014, 83 (02) : 194 - 211
[9] Infinite fuzzy computations
Rahonis, G
[J]. FUZZY SETS AND SYSTEMS, 2005, 153 (02) : 275 - 288
[10] MONOTONE REDUCIBILITY AND THE FAMILY OF INFINITE SETS
CENZER, D
[J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (03) : 774 - 782

← 1 2 3 4 5 →