A note on definable Skolem functions (Q3813802)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A note on definable Skolem functions
scientific article

    Statements

    A note on definable Skolem functions (English)
    0 references
    0 references
    1988
    0 references
    model-complete first-order theory
    0 references
    definable Skolem functions
    0 references
    universal- existential axioms
    0 references
    effective procedure
    0 references
    real-closed fields
    0 references
    real-closed rings
    0 references
    p-adic fields
    0 references

    Identifiers