Pages that link to "Item:Q1283131"
From MaRDI portal
The following pages link to Lifting independence results in bounded arithmetic (Q1283131):
Displaying 9 items.
- A note on propositional proof complexity of some Ramsey-type statements (Q627444) (← links)
- Higher complexity search problems for bounded arithmetic and a formalized no-gap theorem (Q647334) (← links)
- Lifting induction theorems (Q1271021) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Upper and lower Ramsey bounds in bounded arithmetic (Q2488271) (← links)
- An independence result on weak second order bounded arithmetic (Q2720322) (← links)
- Fragments of approximate counting (Q2921008) (← links)
- Arithmetical independence results using higher recursion theory (Q5313376) (← links)
- An Independence Result for Intuitionistic Bounded Arithmetic (Q5477454) (← links)