Every real closed field has an integer part (Q3138018)

From MaRDI portal
Revision as of 10:51, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Every real closed field has an integer part
scientific article

    Statements

    Every real closed field has an integer part (English)
    0 references
    24 October 1993
    0 references
    ordered field
    0 references
    real closure
    0 references
    integral part
    0 references

    Identifiers