A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS (Q5704378)
From MaRDI portal
scientific article; zbMATH DE number 2228601
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS |
scientific article; zbMATH DE number 2228601 |
Statements
A CHARACTERIZATION OF THE ARITHMETICAL HIERARCHY BY LANGUAGE EQUATIONS (English)
0 references
14 November 2005
0 references
decision problem
0 references
descriptive complexity
0 references
