Similar Items: On the Unprovability of Circuit Size Bounds in Intuitionistic $mathsf{S}^1_2$
- Unprovability of circuit upper bounds in Cook's theory PV
- Consistency of circuit lower bounds with bounded theories
- Non-Obfuscated Unprovable Programs & Many Resultant Subtleties
- Lifting Coalgebra Modalities and $mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
- Functional Interpretations of Intuitionistic Linear Logic
- The intuitionistic temporal logic of dynamical systems