Elimination of Cardinality Quantifiers (Q3956923)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Elimination of Cardinality Quantifiers
scientific article

    Statements

    Elimination of Cardinality Quantifiers (English)
    0 references
    0 references
    1982
    0 references
    Vaughtian pair
    0 references
    cardinality quantifiers
    0 references
    Chang quantifier
    0 references
    Haertig quantifier
    0 references
    real-closed fields
    0 references
    algebraic closed fields
    0 references

    Identifiers