Concepedia

Model Theory

Model Theory is a branch of mathematical logic that studies the relationships between formal languages and their interpretations, or models, focusing on how syntactic structures of logical theories correspond to semantic structures in mathematical systems.

16.3K

Publications

940.9K

Citations

17.1K

Authors

3K

Institutions

Publications per year

2017–2026

1.4K

Parents

Children

Publications

16.3K

Simple mathematical models with very complicated dynamics

Robert M. May · Nature · 1976 · 6.9K citations

, , +12

Efficacious Form for Model Pseudopotentials

Leonard Kleinman, D. M. Bylander · Physical Review Letters · 1982 · 5.7K citations

, , +7

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

, , +15

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

, , +11

Models of Man.

G. L. S. Shackle, Herbert A. Simon · The Economic Journal · 1959 · 3.6K citations

, , +6

1–5 of 16.3K

Authors

17.1K

  1. SS
    Saharon Shelah

    Hebrew University of Jerusalem, Israel

    99 publications · 4.2K citations

    33

    h-index

  2. MY
    Moshe Y. Vardi

    Rice University, United States

    31 publications · 2.8K citations

    25

    h-index

  3. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    37 publications · 1.7K citations

    23

    h-index

  4. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    33 publications · 2.4K citations

    22

    h-index

  5. AP
    Anand Pillay

    University of Illinois Urbana-Champaign, United States

    31 publications · 1.4K citations

    21

    h-index

1–5 of 17.1K

Institutions

3K

  1. Centre National de la Recherche Scientifique

    Paris, France

    78 h-index

    738 publications

    51K citations

  2. European Organization for Nuclear Research

    Geneva, Switzerland

    73 h-index

    386 publications

    38.9K citations

  3. Institute for Advanced Study

    Princeton, United States

    63 h-index

    169 publications

    21.5K citations

  4. Harvard University

    Cambridge, United States

    63 h-index

    179 publications

    24.2K citations

  5. Massachusetts Institute of Technology

    Cambridge, United States

    54 h-index

    223 publications

    21.9K citations

  6. Rutgers, The State University of New Jersey

    New Brunswick, United States

    54 h-index

    149 publications

    11.7K citations

  7. Université Paris Cité

    Paris, France

    53 h-index

    287 publications

    16.5K citations

  8. Princeton University

    Princeton, United States

    53 h-index

    181 publications

    21.9K citations

1–8 of 3K

Venues

  1. Nuclear Physics B

    656 publications · 57.8K citations

    122

    h-index

  2. Journal of High Energy Physics

    JHEP · 591 publications · 37.3K citations

    95

    h-index

  3. Physics Letters B

    483 publications · 32.4K citations

    87

    h-index

  4. Journal of Symbolic Logic

    686 publications · 36.5K citations

    85

    h-index

  5. Theoretical Computer Science

    478 publications · 28K citations

    81

    h-index

1–5