Pages that link to "Item:Q2720322"
From MaRDI portal
The following pages link to An independence result on weak second order bounded arithmetic (Q2720322):
Displaying 5 items.
- The function \(\lfloor a/m\rfloor\) in sharply bounded arithmetic (Q1386675) (← links)
- (Q3140642) (← links)
- A Remark on Independence Results for Sharply Bounded Arithmetic (Q4224090) (← links)
- Improved witnessing and local improvement principles for second-order bounded arithmetic (Q5410329) (← links)
- An Independence Result for Intuitionistic Bounded Arithmetic (Q5477454) (← links)