|
|
(view preamble | get metadata)
See Also: analytic hierarchy
| Other names: |
arithmetic hierarchy, arithmetic, arithmetical, arithmetic formula, arithmetical formulas |
| Also defines: |
sigma n, sigma-n, pi n, pi-n, delta n, delta-n, recursive, recursively enumerable, delta-0, delta 0, delta-1, delta 1, arithmetical |
|
|
Cross-references: graph, functions, analytic hierarchy, necessary, superscript, integer, classes, complements, negation, computer, primitive recursive, quantifiers, bounded, level, relations, formulas
There are 69 references to this entry.
This is version 16 of arithmetical hierarchy, born on 2002-08-06, modified 2008-07-10.
Object id is 3272, canonical name is ArithmeticalHierarchy.
Accessed 34334 times total.
Classification:
| AMS MSC: | 03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
