Concepedia

Relative Computability

Relative Computability is a concept in computability theory denoting the capacity of a Turing machine to compute a function or decide a set when furnished with an oracle for another set, thereby extending the notion of computability by relativizing it to external information.

28

Publications

1.4K

Citations

37

Authors

24

Institutions

Publications per year

2017–2026

1

Variants

Relativized Computability

Parents

Publications

28

Infinite time Turing machines

Joel David Hamkins, Andy Lewis · Journal of Symbolic Logic · 2000 · 259 citations

, , +15

Computability on subsets of Euclidean space I: closed and compact subsets

Vasco Brattka, Klaus Weihrauch · Theoretical Computer Science · 1999 · 142 citations

, , +14

Rudimentary Predicates and Relative Computation

Celia Wrathall · SIAM Journal on Computing · 1978 · 108 citations

, , +6

The realizability approach to computable analysis and topology

Andrej Bauer, Dana Scott · 2000 · 82 citations

, , +14

Strong and weak constructivization and computable families

A. T. Nurtazin · Algebra and Logic · 1974 · 79 citations

, , +14

1–5 of 28

Authors

37

  1. DS
    Dana Scott

    Carnegie Mellon University, United States

    3 publications · 117 citations

    3

    h-index

  2. LB
    Lars Birkedal

    Aarhus University, Denmark

    3 publications · 75 citations

    3

    h-index

  3. JD
    Joel David Hamkins

    City University of New York, United States

    2 publications · 307 citations

    2

    h-index

  4. RI
    Robert I. Soare

    University of Chicago, United States

    2 publications · 34 citations

    2

    h-index

  5. DR
    Denis R. Hirschfeldt

    University of Chicago, United States

    2 publications · 116 citations

    2

    h-index

1–5 of 37

Institutions

24

  1. Carnegie Mellon University

    Pittsburgh, United States

    2 h-index

    5 publications

    84 citations

  2. University of Chicago

    Chicago, United States

    2 h-index

    2 publications

    84 citations

  3. Victoria University of Wellington

    Wellington, New Zealand

    2 h-index

    2 publications

    78 citations

  4. FernUniversität in Hagen

    Hagen, Germany

    2 h-index

    3 publications

    299 citations

  5. City University of New York

    New York, United States

    2 h-index

    2 publications

    307 citations

  6. Center for Discrete Mathematics and Theoretical Computer Science

    Piscataway, United States

    1 h-index

    1 publications

    66 citations

  7. University of Illinois Chicago

    Chicago, United States

    1 h-index

    1 publications

    18 citations

  8. College of Staten Island

    New York, United States

    1 h-index

    1 publications

    259 citations

1–8 of 24

Venues

  1. Journal of Symbolic Logic

    5 publications · 375 citations

    5

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 54 citations

    2

    h-index

  3. SIAM Journal on Computing

    2 publications · 158 citations

    2

    h-index

  4. Transactions of the American Mathematical Society

    TRAN · 2 publications · 70 citations

    2

    h-index

  5. Bulletin of Symbolic Logic

    2 publications · 84 citations

    2

    h-index

1–5