Most general first order theorems are not recursively enumerable (Q672461)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Most general first order theorems are not recursively enumerable
scientific article

    Statements

    Most general first order theorems are not recursively enumerable (English)
    0 references
    0 references
    28 February 1997
    0 references
    \(\varepsilon\)-substitution
    0 references
    modal operators
    0 references

    Identifiers