Existential theory of the reals



ScienceWISE definitions



    Categorization

    Mathematical logic

    Synonyms