On a Theory for AC0 and the Strength of the Induction Scheme (Q4210843)
From MaRDI portal
scientific article; zbMATH DE number 1202728
Language | Label | Description | Also known as |
---|---|---|---|
English | On a Theory for AC0 and the Strength of the Induction Scheme |
scientific article; zbMATH DE number 1202728 |
Statements
On a Theory for AC0 and the Strength of the Induction Scheme (English)
0 references
11 January 1999
0 references
bounded arithmetic
0 references
Herbrand's theorem
0 references
AC\(^0\)
0 references
LOGSPACE
0 references
computable functions
0 references
universal theory
0 references
multiplication
0 references