Concepedia

Beth Definability

Beth Definability is a property in model theory asserting that a relation is explicitly definable in a first-order theory if and only if it is implicitly definable across all models of that theory.

29

Publications

1.3K

Citations

40

Authors

28

Institutions

Publications per year

2017–2026

2

Variants

Beth's Definability Theorem

Parents

Publications

29

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

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

, , +13

Failures of the interpolation lemma in quantified modal logic

Kit Fine · Journal of Symbolic Logic · 1979 · 58 citations

, , +11

Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation

Franco Montagna · Annals of Pure and Applied Logic · 2005 · 47 citations

, , +15

Duality and definability in first order logic

Michael Makkai · Memoirs of the American Mathematical Society · 1993 · 42 citations

, , +15

Beth Definability in Expressive Description Logics

Balder ten Cate, Enrico Franconi, İnanç Seylan · Journal of Artificial Intelligence Research · 2013 · 40 citations · Full text

, , +13

1–5 of 29

Authors

40

  1. LL
    L. L. Maksimova

    Russian Academy of Sciences, Russia

    4 publications · 61 citations

    4

    h-index

  2. BT
    Balder ten Cate

    University of California, Santa Cruz, United States

    3 publications · 64 citations

    3

    h-index

  3. SS
    Saharon Shelah

    Hebrew University of Jerusalem, Israel

    2 publications · 54 citations

    2

    h-index

  4. İS
    İnanç Seylan

    University of Bremen, Germany

    2 publications · 52 citations

    2

    h-index

  5. MM
    Michael Makkai

    McGill University, Canada

    2 publications · 69 citations

    2

    h-index

1–5 of 40

Institutions

28

  1. Free University of Bozen-Bolzano

    Bolzano, Italy

    3 h-index

    7 publications

    104 citations

  2. University of California, Santa Cruz

    Santa Cruz, United States

    3 h-index

    3 publications

    64 citations

  3. University of Bremen

    Bremen, Germany

    2 h-index

    2 publications

    58 citations

  4. Stanford University

    Stanford, United States

    2 h-index

    2 publications

    59 citations

  5. Brooklyn College

    Brooklyn, United States

    1 h-index

    1 publications

    15 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    2 publications

    30 citations

  7. Pennsylvania State University

    State College, United States

    1 h-index

    1 publications

    672 citations

  8. Russian Academy of Sciences

    Moscow, Russia

    1 h-index

    1 publications

    12 citations

1–8 of 28

Venues

  1. Journal of Symbolic Logic

    7 publications · 811 citations

    7

    h-index

  2. Algebra and Logic

    3 publications · 48 citations

    3

    h-index

  3. Studia Logica

    2 publications · 49 citations

    2

    h-index

  4. Notre Dame Journal of Formal Logic

    2 publications · 43 citations

    2

    h-index

  5. Siberian Mathematical Journal

    1 publications · 13 citations

    1

    h-index

1–5