Exponentiation and second-order bounded arithmetic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4137758 (Why is no real title available?)
- scientific article; zbMATH DE number 4059391 (Why is no real title available?)
- scientific article; zbMATH DE number 3784875 (Why is no real title available?)
- Bounded arithmetic and truth definition
- On the scheme of induction for bounded arithmetic formulas
Cited in
(12)- Notations for exponentiation.
- Quantified propositional calculus and a second-order theory for NC\(^{\text \textbf{1}}\)
- The equivalence of theories that characterize ALogTime
- Notes on polynomially bounded arithmetic
- scientific article; zbMATH DE number 4006252 (Why is no real title available?)
- Consistency of circuit evaluation, extended resolution and total NP search problems
- scientific article; zbMATH DE number 1463092 (Why is no real title available?)
- On induction-free provability
- Implicit proofs
- scientific article; zbMATH DE number 5251297 (Why is no real title available?)
- scientific article; zbMATH DE number 727438 (Why is no real title available?)
- scientific article; zbMATH DE number 440483 (Why is no real title available?)
This page was built for publication: Exponentiation and second-order bounded arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q922540)
