Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex (Q833026)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex |
scientific article; zbMATH DE number 5593765
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex |
scientific article; zbMATH DE number 5593765 |
Statements
Adaptive logics using the minimal abnormality strategy are \(\Pi^1_1\)-complex (English)
0 references
11 August 2009
0 references
adaptive logics
0 references
minimal abnormality
0 references
complexity
0 references
dynamic proofs
0 references
\(\Pi_1^1\)-complete sets
0 references
0.9009339
0 references
0.8455047
0 references
0.8444705
0 references
0 references
