Similar Items: Unprovability of circuit upper bounds in Cook's theory PV
- On the Unprovability of Circuit Size Bounds in Intuitionistic $mathsf{S}^1_2$
- Consistency of circuit lower bounds with bounded theories
- Non-Obfuscated Unprovable Programs & Many Resultant Subtleties
- Upper Bounds on the Quantifier Depth for Graph Differentiation in First-Order Logic
- Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
- Prime Factorization in Models of PV$_1$