Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin (Q3864498)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
scientific article

    Statements

    Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin (English)
    0 references
    0 references
    0 references
    0 references
    1979
    0 references
    0 references
    systematic study
    0 references
    Craig's interpolation theorem
    0 references
    definability
    0 references
    Robinson's consistency lemma
    0 references
    Beth's theorem
    0 references
    compactness
    0 references
    characterization theorems
    0 references
    0 references