On complexity of problem of satisfiability for systems of countable-valued functional equations (Q905075)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On complexity of problem of satisfiability for systems of countable-valued functional equations |
scientific article |
Statements
On complexity of problem of satisfiability for systems of countable-valued functional equations (English)
0 references
14 January 2016
0 references
The authors prove that the problem of satisfiability for the system of functional equations over the set \(\{ p\}\) belongs to the class \(\prod_1 \) of Kleene-Mostowski arithmetical hierarchy. As a result, they show that the set of all satisfiable systems of functional equations over \(\{ p\}\) is an \(m\)-complete set in the class \(\prod_1 \) of the Kleene-Mostowski hierarchy.
0 references
system of functional equations
0 references
countable-valued logic
0 references
problem of satisfiability
0 references
Kleene-Mostowski arithmetical hierarchy
0 references
0 references
