Pages that link to "Item:Q2980966"

The following pages link to Unprovability of circuit upper bounds in Cook's theory PV (Q2980966):

Displaying 3 items.

• Feasibly constructive proofs of succinct weak circuit lower bounds (Q2007873) (← links)
• Polynomial time ultrapowers and the consistency of circuit lower bounds (Q2288334) (← links)
• Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)