Pages that link to "Item:Q1325055"
From MaRDI portal
The following pages link to A note on sharply bounded arithmetic (Q1325055):
Displaying 4 items.
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Some results on cut-elimination, provable well-orderings, induction and reflection (Q1295413) (← links)
- The function \(\lfloor a/m\rfloor\) in sharply bounded arithmetic (Q1386675) (← links)
- A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications (Q4393170) (← links)