Exponentiation and second-order bounded arithmetic

DOI10.1016/0168-0072(90)90023-UzbMath0711.03025MaRDI QIDQ922540

Jan Krajíček

Publication date: 1990

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

exponentiationsecond-order arithmeticsecond-order bounded arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items (6)

The equivalence of theories that characterize ALogTime ⋮ On induction-free provability ⋮ Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\) ⋮ Implicit proofs ⋮ Notes on polynomially bounded arithmetic ⋮ CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• Bounded arithmetic and truth definition
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exponentiation and second-order bounded arithmetic