Generalized real numbers in constructive mathematics (Q1279733)

From MaRDI portal
Revision as of 18:23, 28 May 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Generalized real numbers in constructive mathematics
scientific article

    Statements

    Generalized real numbers in constructive mathematics (English)
    0 references
    0 references
    17 February 1999
    0 references
    constructive mathematics
    0 references
    extensions of the real number system
    0 references
    uppercuts
    0 references
    lowercuts
    0 references

    Identifiers