Model companions for finitely generated universal Horn classes (Q3734377)

From MaRDI portal
Revision as of 19:34, 29 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q1883664)
scientific article
Language Label Description Also known as
English
Model companions for finitely generated universal Horn classes
scientific article

    Statements

    Model companions for finitely generated universal Horn classes (English)
    0 references
    1984
    0 references
    primitive recursive quantifier elimination
    0 references
    model companion of a universal Horn class
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references