Concepedia

Computable Model Theory

Computable Model Theory is a branch of mathematical logic that studies the effective content of models and theories by analyzing the computability of their structures, relations, and constructions within the framework of recursion theory.

124

Publications

4.3K

Citations

256

Authors

156

Institutions

Publications per year

2017–2026

20

Parents

Publications

124

Modeling design processes

Hideaki Takeda, Paul Veerkamp, Tetsuo Tomiyama et al. · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1990 · 344 citations · Full text

, , +16

Information Processing and Bounded Rationality: A Survey

Barton L. Lipman · Canadian Journal of Economics/Revue canadienne d économique · 1995 · 149 citations

, , +13

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

Designing an emissions trading scheme for China with a dynamic computable general equilibrium model

Ling Tang, Jia‐Rui Shi, Qin Bao · Energy Policy · 2016 · 95 citations

, , +14

1–5 of 124

Authors

256

  1. BK
    Bakhadyr Khoussainov

    University of Auckland, New Zealand

    4 publications · 143 citations

    4

    h-index

  2. TM
    Toshihiko Masui

    National Institute for Environmental Studies, Japan

    3 publications · 112 citations

    3

    h-index

  3. RA
    Richard A. Shore

    Cornell University, United States

    3 publications · 127 citations

    3

    h-index

  4. DR
    Denis R. Hirschfeldt

    University of Chicago, United States

    3 publications · 37 citations

    3

    h-index

  5. TM
    Troy Matheson

    International Monetary Fund, United States

    2 publications · 68 citations

    2

    h-index

1–5 of 256

Institutions

156

  1. University of Auckland

    Auckland, New Zealand

    4 h-index

    5 publications

    125 citations

  2. National Institute for Environmental Studies

    Tsukuba, Japan

    4 h-index

    9 publications

    497 citations

  3. Victoria University of Wellington

    Wellington, New Zealand

    3 h-index

    3 publications

    87 citations

  4. Universität Hamburg

    Hamburg, Germany

    3 h-index

    5 publications

    169 citations

  5. Cornell University

    Ithaca, United States

    3 h-index

    6 publications

    312 citations

  6. Chinese Academy of Sciences

    Beijing, China

    3 h-index

    6 publications

    263 citations

  7. Université Paris Cité

    Paris, France

    3 h-index

    3 publications

    105 citations

  8. University of Chicago

    Chicago, United States

    3 h-index

    3 publications

    37 citations

1–8 of 156

Venues

  1. SSRN Electronic Journal

    Repository · 7 publications · 177 citations

    7

    h-index

  2. Journal of Symbolic Logic

    6 publications · 187 citations

    6

    h-index

  3. RePEc: Research Papers in Economics

    Repository · 3 publications · 179 citations

    3

    h-index

  4. Notre Dame Journal of Formal Logic

    3 publications · 99 citations

    3

    h-index

  5. Energy Policy

    3 publications · 196 citations

    3

    h-index

1–5