Pages that link to "Item:Q922540"
From MaRDI portal
The following pages link to Exponentiation and second-order bounded arithmetic (Q922540):
Displaying 10 items.
- The equivalence of theories that characterize ALogTime (Q834715) (← links)
- On induction-free provability (Q1353982) (← links)
- Algebraic methods and bounded formulas (Q1377552) (← links)
- Notations for exponentiation. (Q1853509) (← links)
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) (Q2388433) (← links)
- Translating \(\text{I}\Delta_0+\exp\) proofs into weaker systems (Q4487252) (← links)
- Implicit proofs (Q5311729) (← links)
- (Q5450322) (← links)
- Notes on polynomially bounded arithmetic (Q5687325) (← links)
- CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS (Q5739904) (← links)