No label defined (Q5687548)

From MaRDI portal
Revision as of 05:33, 7 March 2024 by Import240305080351 (talk | contribs) (Added link to MaRDI item.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 957948
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 957948

    Statements

    0 references
    15 December 1996
    0 references
    0 references
    textbook
    0 references
    compactness theorem
    0 references
    downward Löwenheim-Skolem theorem
    0 references
    omitting types theorem
    0 references
    Vaught's two-cardinal theorem
    0 references
    Lindström's theorem
    0 references
    Ehrenfeucht-Fraïssé games
    0 references
    elementary equivalence
    0 references
    pebble games
    0 references
    first-order languages
    0 references
    second-order languages
    0 references
    construction of models
    0 references
    canonical models
    0 references
    Horn sentences
    0 references
    ultraproducts
    0 references
    fixed-point logics
    0 references
    saturation
    0 references