Algebraic theories with definable Skolem functions (Q3727972): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1812782
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: L. P. D. van den Dries / rank
 
Normal rank

Revision as of 14:43, 29 February 2024

scientific article
Language Label Description Also known as
English
Algebraic theories with definable Skolem functions
scientific article

    Statements

    Algebraic theories with definable Skolem functions (English)
    0 references
    1984
    0 references
    real closed fields
    0 references
    definitional extension with built-in Skolem functions
    0 references
    p-adically closed fields
    0 references

    Identifiers