No label defined (Q4517028)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1533816
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1533816 |
Statements
20 November 2000
0 references
complexity theory
0 references
independence
0 references
Peano arithmetic
0 references
Some problems of descriptive complexity theory are investigated. An independence hypothesis for main complexity problems of Peano arithmetic is formulated. The existence of some unusual sets is shown. Explicit constructions which make possible to construct such sets are presented. For the entire collection see [Zbl 0944.00028].
0 references
