Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields (Q1184352)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields
scientific article

    Statements

    Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields (English)
    0 references
    0 references
    0 references
    0 references
    28 June 1992
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    linear inequalities
    0 references
    Dines-Fourier-Motzkin elimination
    0 references
    ordered fields
    0 references
    transfer principle
    0 references