The following pages link to The bounded arithmetic hierarchy (Q4152523):
Displayed 8 items.
- Positive rudimentarity of the graphs of Ackermann and Grzegorczyk (Q1168313) (← links)
- An arithmetical characterization of NP (Q1171050) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- Elementary realizability (Q1362589) (← links)
- Deterministic summation modulo \(\mathcal B_{n}\), the semigroup of binary relations on \(0,1, \dots, n-1\) (Q1392020) (← links)
- Elementary functions and loop programs (Q1903128) (← links)
- The role of rudimentary relations in complexity theory (Q3347299) (← links)
- Functions Definable by Arithmetic Circuits (Q3576073) (← links)