Concepedia

Recursive Enumerability

Recursive Enumerability is a formal property of a set of natural numbers that belongs to the class of computably enumerable sets, distinguished by the existence of a Turing machine that systematically lists all elements of the set, thereby enabling the set to be recursively generated even if not necessarily decidable.

270

Publications

13.9K

Citations

219

Authors

140

Institutions

Publications per year

2017–2026

3

Parents

Publications

270

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

A note on the Entscheidungsproblem

Alonzo Church · Journal of Symbolic Logic · 1936 · 797 citations

, , +11

Classes of recursively enumerable sets and their decision problems

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

, , +14

Transfinite recursive progressions of axiomatic theories

Solomon Feferman · Journal of Symbolic Logic · 1962 · 337 citations

, , +11

1–5 of 270

Authors

219

  1. RI
    Robert I. Soare

    University of Chicago, United States

    21 publications · 2.3K citations

    15

    h-index

  2. RA
    Richard A. Shore

    Cornell University, United States

    16 publications · 457 citations

    13

    h-index

  3. AH
    A. H. Lachlan

    Simon Fraser University, Canada

    13 publications · 840 citations

    13

    h-index

  4. KA
    Klaus Ambos‐Spies

    TU Dortmund University, Germany

    13 publications · 311 citations

    11

    h-index

  5. TA
    Theodore A. Slaman

    University of California, Berkeley, United States

    10 publications · 359 citations

    10

    h-index

1–5 of 219

Institutions

140

  1. University of Chicago

    Chicago, United States

    17 h-index

    34 publications

    2.7K citations

  2. Cornell University

    Ithaca, United States

    15 h-index

    26 publications

    1.2K citations

  3. University of California, Berkeley

    Berkeley, United States

    12 h-index

    14 publications

    672 citations

  4. University of Connecticut

    Storrs, United States

    9 h-index

    9 publications

    225 citations

  5. University of Leeds

    Leeds, United Kingdom

    8 h-index

    8 publications

    277 citations

  6. TU Dortmund University

    Dortmund, Germany

    8 h-index

    14 publications

    558 citations

  7. University of Illinois Chicago

    Chicago, United States

    7 h-index

    7 publications

    132 citations

  8. Victoria University of Wellington

    Wellington, New Zealand

    7 h-index

    11 publications

    229 citations

1–8 of 140

Venues

  1. Journal of Symbolic Logic

    80 publications · 3.9K citations

    28

    h-index

  2. Transactions of the American Mathematical Society

    TRAN · 26 publications · 1.9K citations

    18

    h-index

  3. Algebra and Logic

    12 publications · 259 citations

    11

    h-index

  4. Theoretical Computer Science

    13 publications · 392 citations

    11

    h-index

  5. Proceedings of the American Mathematical Society

    PROC · 14 publications · 221 citations

    11

    h-index

1–5