Concepedia

Computable Categoricity

Computable Categoricity is a property of a countable structure in computable model theory asserting that every computable copy of the structure is isomorphic to it via a computable isomorphism.

21

Publications

879

Citations

39

Authors

36

Institutions

Publications per year

2017–2026

4

Parents

Publications

21

Combinatorial animal communication with computable syntax: Chick-a-dee calling qualifies as ‘Language’ by structural linguistics

Jack P. Hailman, Millicent S. Ficken · Animal Behaviour · 1986 · 187 citations

, , +14

Computable Algebra, General Theory and Theory of Computable Fields

Michael O. Rabin · Transactions of the American Mathematical Society · 1960 · 105 citations

, , +16

Degrees of categoricity of computable structures

I. Sh. Kalimullin, Russell Miller · Archive for Mathematical Logic · 2009 · 90 citations

, , +11

Degrees of Categoricity and the Hyperarithmetic Hierarchy

Barbara F. Csima, Johanna N. Y. Franklin, Richard A. Shore · Notre Dame Journal of Formal Logic · 2013 · 65 citations · Full text

, , +15

Effective categoricity of equivalence structures

Wesley Calvert, Douglas Cenzer, Valentina Harizanov et al. · Annals of Pure and Applied Logic · 2005 · 59 citations

, , +7

1–5 of 21

Authors

39

  1. SL
    Steffen Lempp

    University of Wisconsin–Madison, United States

    3 publications · 125 citations

    3

    h-index

  2. RM
    Russell Miller

    Queens College, CUNY, United States

    3 publications · 159 citations

    3

    h-index

  3. BF
    Barbara F. Csima

    University of Waterloo, Canada

    3 publications · 89 citations

    3

    h-index

  4. DT
    Daniel Turetsky

    Victoria University of Wellington, New Zealand

    3 publications · 91 citations

    3

    h-index

  5. IS
    I. Sh. Kalimullin

    Kazan Federal University, Russia

    3 publications · 129 citations

    3

    h-index

1–5 of 39

Institutions

36

  1. University of Wisconsin–Madison

    Madison, United States

    4 h-index

    4 publications

    312 citations

  2. Queens College, CUNY

    New York, United States

    4 h-index

    4 publications

    205 citations

  3. Kazan Federal University

    Kazan’, Russia

    4 h-index

    7 publications

    210 citations

  4. University of Waterloo

    Waterloo, Canada

    3 h-index

    6 publications

    232 citations

  5. The Graduate Center, CUNY

    New York, United States

    3 h-index

    3 publications

    159 citations

  6. Victoria University of Wellington

    Wellington, New Zealand

    3 h-index

    3 publications

    91 citations

  7. University of Chicago

    Chicago, United States

    2 h-index

    3 publications

    135 citations

  8. University of Florida

    Gainesville, United States

    2 h-index

    2 publications

    71 citations

1–8 of 36

Venues

  1. Journal of Symbolic Logic

    6 publications · 139 citations

    6

    h-index

  2. Annals of Pure and Applied Logic

    3 publications · 82 citations

    3

    h-index

  3. Notre Dame Journal of Formal Logic

    2 publications · 91 citations

    2

    h-index

  4. Transactions of the American Mathematical Society

    TRAN · 2 publications · 129 citations

    2

    h-index

  5. Archive for Mathematical Logic

    2 publications · 119 citations

    2

    h-index

1–5