Pages that link to "Item:Q1283131"
From MaRDI portal
The following pages link to Lifting independence results in bounded arithmetic (Q1283131):
Displayed 5 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)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Upper and lower Ramsey bounds in bounded arithmetic (Q2488271) (← links)
- FRAGMENTS OF APPROXIMATE COUNTING (Q2921008) (← links)