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