Concepedia

Recursive Sets

Recursive Sets is a set of natural numbers for which there exists a Turing machine that halts on every input and correctly decides membership in the set.

174

Publications

11.3K

Citations

172

Authors

107

Institutions

Publications per year

2017–2026

1

Parents

Publications

174

Recursively enumerable sets and degrees

Robert I. Soare · Bulletin of the American Mathematical Society · 1978 · 1.6K citations · Full text

, , +15

Recursively enumerable sets of positive integers and their decision problems

Emil L. Post · Bulletin of the American Mathematical Society · 1944 · 890 citations · Full text

, , +13

Classes of recursively enumerable sets and their decision problems

H. G. Rice · Transactions of the American Mathematical Society · 1953 · 746 citations

, , +14

The Iterative Conception of Set

George Boolos · The Journal of Philosophy · 1971 · 570 citations

, , +10

Recursive Unsolvability of a problem of Thue

Emil L. Post · Journal of Symbolic Logic · 1947 · 533 citations

, , +13

1–5 of 174

Authors

172

  1. RI
    Robert I. Soare

    University of Chicago, United States

    11 publications · 2K citations

    11

    h-index

  2. AH
    A. H. Lachlan

    Simon Fraser University, Canada

    8 publications · 380 citations

    8

    h-index

  3. RA
    Richard A. Shore

    Cornell University, United States

    7 publications · 157 citations

    7

    h-index

  4. CJ
    C. J. Ash

    Monash University, Australia

    6 publications · 213 citations

    6

    h-index

  5. JC
    J. C. E. Dekker

    Rutgers, The State University of New Jersey, United States

    6 publications · 211 citations

    6

    h-index

1–5 of 172

Institutions

107

  1. Cornell University

    Ithaca, United States

    8 h-index

    8 publications

    273 citations

  2. University of Illinois Chicago

    Chicago, United States

    7 h-index

    7 publications

    137 citations

  3. University of Chicago

    Chicago, United States

    7 h-index

    7 publications

    1.7K citations

  4. Monash University

    Melbourne, Australia

    6 h-index

    6 publications

    213 citations

  5. University of California San Diego

    San Diego, United States

    6 h-index

    7 publications

    138 citations

  6. University of California, Berkeley

    Berkeley, United States

    6 h-index

    7 publications

    356 citations

  7. University of Illinois System

    Urbana, United States

    5 h-index

    5 publications

    136 citations

  8. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    4 publications

    448 citations

1–8 of 107

Venues

  1. Journal of Symbolic Logic

    45 publications · 2.2K citations

    22

    h-index

  2. Transactions of the American Mathematical Society

    TRAN · 20 publications · 1.6K citations

    16

    h-index

  3. Proceedings of the American Mathematical Society

    PROC · 11 publications · 265 citations

    10

    h-index

  4. Annals of Pure and Applied Logic

    8 publications · 248 citations

    8

    h-index

  5. Mathematical logic quarterly

    MLQ · 8 publications · 403 citations

    8

    h-index

1–5