Concepedia

Model-complete Theories

Model-Complete Theories is a property of a first-order theory in model theory characterized by the condition that every embedding between models of the theory is elementary, distinguishing it from general first-order theories by ensuring quantifier elimination down to existential formulas.

161

Publications

6.4K

Citations

176

Authors

128

Institutions

Publications per year

2017–2026

14

Parents

Publications

161

Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory

William Craig · Journal of Symbolic Logic · 1957 · 672 citations

, , +13

Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function

Andrew O.M. Wilkie · Journal of the American Mathematical Society · 1996 · 423 citations · Full text

, , +14

The linked-cluster theorem in the open-shell coupled-cluster theory for incomplete model spaces

Debashis Mukherjee · Chemical Physics Letters · 1986 · 237 citations

, , +8

Ultraproducts in the Theory of Models

Simon Kochen · Annals of Mathematics · 1961 · 179 citations

, , +12

Denumerable models of complete theories

Robert L. Vaught · CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS eBooks · 2003 · 138 citations

, , +9

1–5 of 161

Authors

176

  1. SS
    Saharon Shelah

    Hebrew University of Jerusalem, Israel

    11 publications · 373 citations

    10

    h-index

  2. HJ
    H. Jerome Keisler

    University of Wisconsin–Madison, United States

    4 publications · 103 citations

    4

    h-index

  3. SG
    Silvio Ghilardi

    University of Milan, Italy

    4 publications · 87 citations

    4

    h-index

  4. LV
    Lou van den Dries

    University of Illinois Urbana-Champaign, United States

    4 publications · 286 citations

    4

    h-index

  5. HH
    Hans H. Adler

    United States International Trade Commission, United States

    4 publications · 176 citations

    4

    h-index

1–5 of 176

Institutions

128

  1. Hebrew University of Jerusalem

    Jerusalem, Israel

    9 h-index

    10 publications

    366 citations

  2. Rutgers, The State University of New Jersey

    New Brunswick, United States

    5 h-index

    8 publications

    452 citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    5 h-index

    6 publications

    402 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    4 publications

    193 citations

  5. Yale University

    New Haven, United States

    4 h-index

    4 publications

    78 citations

  6. University of Milan

    Milan, Italy

    4 h-index

    4 publications

    87 citations

  7. University of Wisconsin–Madison

    Madison, United States

    4 h-index

    4 publications

    161 citations

  8. Université Claude Bernard Lyon 1

    Villeurbanne, France

    3 h-index

    3 publications

    79 citations

1–8 of 128

Venues

  1. Journal of Symbolic Logic

    37 publications · 1.9K citations

    20

    h-index

  2. Notre Dame Journal of Formal Logic

    5 publications · 118 citations

    5

    h-index

  3. Proceedings of the American Mathematical Society

    PROC · 5 publications · 87 citations

    5

    h-index

  4. Journal of Mathematical Logic

    5 publications · 163 citations

    5

    h-index

  5. Annals of Pure and Applied Logic

    5 publications · 94 citations

    5

    h-index

1–5