Concepedia

Computable Structure Theory

Computable Structure Theory is a branch of mathematical logic and computability theory that studies the effectiveness of algebraic and relational structures by analyzing the degree to which their isomorphisms, definable properties, and constructions can be realized by computable functions.

100

Publications

3.2K

Citations

108

Authors

77

Institutions

Publications per year

2017–2026

15

Parents

Publications

100

Quantitative reasoning, complexity, and additive structures

Patrick W Thompson · Educational Studies in Mathematics · 1993 · 215 citations

, , +14

Degree spectra and computable dimensions in algebraic structures

Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore et al. · Annals of Pure and Applied Logic · 2002 · 162 citations

, , +16

Computable Structure and Non-Structure Theorems

Julia F. Knight · Algebra and Logic · 2002 · 109 citations

, , +14

Computable Algebra, General Theory and Theory of Computable Fields

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

, , +16

Enumerations in computable structure theory

Valentina Harizanov, Julia A. Knight, Charles A. McCoy et al. · Annals of Pure and Applied Logic · 2005 · 99 citations

, , +11

1–5 of 100

Authors

108

  1. VH
    Valentina Harizanov

    George Washington University, United States

    11 publications · 362 citations

    11

    h-index

  2. JF
    Julia F. Knight

    University of Notre Dame, United States

    8 publications · 235 citations

    8

    h-index

  3. RA
    Richard A. Shore

    Cornell University, United States

    7 publications · 407 citations

    7

    h-index

  4. BK
    Bakhadyr Khoussainov

    University of Auckland, New Zealand

    6 publications · 331 citations

    6

    h-index

  5. DR
    Denis R. Hirschfeldt

    University of Chicago, United States

    6 publications · 244 citations

    6

    h-index

1–5 of 108

Institutions

77

  1. University of Notre Dame

    Notre Dame, United States

    12 h-index

    15 publications

    577 citations

  2. George Washington University

    Washington, United States

    11 h-index

    12 publications

    377 citations

  3. University of Chicago

    Chicago, United States

    10 h-index

    12 publications

    306 citations

  4. Cornell University

    Ithaca, United States

    9 h-index

    15 publications

    934 citations

  5. Sobolev Institute of Mathematics

    Novosibirsk, Russia

    9 h-index

    12 publications

    248 citations

  6. Kazan Federal University

    Kazan’, Russia

    9 h-index

    12 publications

    324 citations

  7. University of Auckland

    Auckland, New Zealand

    8 h-index

    10 publications

    527 citations

  8. Queens College, CUNY

    New York, United States

    7 h-index

    7 publications

    324 citations

1–8 of 77

Venues

  1. Journal of Symbolic Logic

    23 publications · 574 citations

    15

    h-index

  2. Algebra and Logic

    16 publications · 575 citations

    13

    h-index

  3. Notre Dame Journal of Formal Logic

    6 publications · 227 citations

    6

    h-index

  4. Annals of Pure and Applied Logic

    5 publications · 348 citations

    5

    h-index

  5. Bulletin of Symbolic Logic

    6 publications · 143 citations

    5

    h-index

1–5