On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction (Q701734)
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: On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction |
scientific article; zbMATH DE number 2123155
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction |
scientific article; zbMATH DE number 2123155 |
Statements
On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction (English)
0 references
16 December 2004
0 references
induction
0 references
\(\Delta_{n+1}\)-formulas
0 references
quantifier complexity
0 references
0 references
0.87878627
0 references
0.87682545
0 references
0 references
0.8743327
0 references
0.8718621
0 references
0.87144464
0 references
