Equations for formally real meadows (Q2344368)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equations for formally real meadows
scientific article

    Statements

    title
    Equations for formally real meadows (English)
    0 references
    author
    Inge Bethke
    0 references
    Alban Ponse
    0 references
    Jan A. Bergstra
    0 references
    publication date
    15 May 2015
    0 references
    zbMATH Keywords
    formally real meadow
    0 references
    signed meadow
    0 references
    real numbers
    0 references
    complex numbers
    0 references
    completeness theorems
    0 references

    Identifiers

    zbMATH DE Number
    6435762
    0 references
    OpenAlex ID
    W2037874417
    0 references
    arXiv ID
    1310.5011
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2344368&oldid=35454583"
    Powered by MediaWiki