Robinson's Consistency Theorem in Soft Model Theory (Q3669393)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Robinson's Consistency Theorem in Soft Model Theory
scientific article

    Statements

    Robinson's Consistency Theorem in Soft Model Theory (English)
    0 references
    0 references
    0 references
    1981
    0 references
    0 references
    0 references
    0 references
    0 references
    Robinson's consistency theorem
    0 references
    similarity type
    0 references
    consistent extensions
    0 references
    Craig's interpolation theorem
    0 references
    countably compact
    0 references
    0 references