A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (Q1807463)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers
scientific article

    Statements

    A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (English)
    0 references
    22 November 1999
    0 references
    exponential diophantine representation
    0 references
    recursively enumerable set
    0 references
    arithmetic representation
    0 references
    bounded universal quantifier
    0 references
    Davis normal form
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references