Pages that link to "Item:Q4224090"
From MaRDI portal
The following pages link to A Remark on Independence Results for Sharply Bounded Arithmetic (Q4224090):
Displaying 7 items.
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- A note on sharply bounded arithmetic (Q1325055) (← links)
- The function \(\lfloor a/m\rfloor\) in sharply bounded arithmetic (Q1386675) (← links)
- An independence result on weak second order bounded arithmetic (Q2720322) (← links)
- A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications (Q4393170) (← links)
- Arithmetical independence results using higher recursion theory (Q5313376) (← links)
- An Independence Result for Intuitionistic Bounded Arithmetic (Q5477454) (← links)