Undecidability of the elementary theory of the semilattice of GLP-words (Q4650150)

From MaRDI portal
scientific article; zbMATH DE number 6110271
Language Label Description Also known as
English
Undecidability of the elementary theory of the semilattice of GLP-words
scientific article; zbMATH DE number 6110271

    Statements

    Undecidability of the elementary theory of the semilattice of GLP-words (English)
    0 references
    23 November 2012
    0 references
    provability logic
    0 references
    elementary theories
    0 references
    undecidability
    0 references
    0 references

    Identifiers