Pages that link to "Item:Q1344280"

The following pages link to Separations of theories in weak bounded arithmetic (Q1344280):

Displaying 7 items.

• Relativizing small complexity classes and their theories (Q260396) (← links)
• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
• Proof-theoretic conservations of weak weak intuitionistic constructive set theories (Q490665) (← links)
• Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
• Separations of first and second order theories in bounded arithmetic (Q2388431) (← links)
• Local splitters for bounded cotorsion theories (Q2769480) (← links)
• (Q3025175) (← links)