Concepedia

Recursively Enumerable Sets

Recursively Enumerable Sets is a formal concept in computability theory denoting a set of natural numbers that is semi-decidable, meaning there exists a Turing machine which halts and accepts exactly those elements in the set, but may not halt on elements outside it.

337

Publications

16.6K

Citations

288

Authors

178

Institutions

Publications per year

2017–2026

5

Variants

Re SetsSemi-decidable SetsTuring-recognizable Sets

Parents

Publications

337

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

Recursive Unsolvability of a problem of Thue

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

, , +13

An introduction to formal language theory

Choice Reviews Online · 1989 · 471 citations

, , +12

1–5 of 337

Authors

288

  1. RI
    Robert I. Soare

    University of Chicago, United States

    25 publications · 2.5K citations

    17

    h-index

  2. AH
    A. H. Lachlan

    Simon Fraser University, Canada

    15 publications · 902 citations

    14

    h-index

  3. RA
    Richard A. Shore

    Cornell University, United States

    13 publications · 366 citations

    13

    h-index

  4. KA
    Klaus Ambos‐Spies

    TU Dortmund University, Germany

    11 publications · 274 citations

    11

    h-index

  5. ML
    Manuel Lerman

    University of Connecticut, United States

    10 publications · 211 citations

    10

    h-index

1–5 of 288

Institutions

178

  1. University of Chicago

    Chicago, United States

    18 h-index

    35 publications

    2.8K citations

  2. Cornell University

    Ithaca, United States

    13 h-index

    24 publications

    1.1K citations

  3. University of California, Berkeley

    Berkeley, United States

    12 h-index

    17 publications

    691 citations

  4. Victoria University of Wellington

    Wellington, New Zealand

    10 h-index

    14 publications

    284 citations

  5. University of Connecticut

    Storrs, United States

    9 h-index

    9 publications

    214 citations

  6. University of Illinois Chicago

    Chicago, United States

    8 h-index

    8 publications

    167 citations

  7. TU Dortmund University

    Dortmund, Germany

    7 h-index

    13 publications

    537 citations

  8. National University of Singapore

    Singapore, Singapore

    7 h-index

    7 publications

    139 citations

1–8 of 178

Venues

  1. Journal of Symbolic Logic

    96 publications · 4.5K citations

    32

    h-index

  2. Transactions of the American Mathematical Society

    TRAN · 30 publications · 2K citations

    22

    h-index

  3. Algebra and Logic

    17 publications · 410 citations

    14

    h-index

  4. Pacific Journal of Mathematics

    12 publications · 395 citations

    12

    h-index

  5. Proceedings of the American Mathematical Society

    PROC · 18 publications · 373 citations

    12

    h-index

1–5