Pages that link to "Item:Q4393170"
From MaRDI portal
The following pages link to A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications (Q4393170):
Displaying 8 items.
- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
- The strength of sharply bounded induction requires MSP (Q636290) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- A note on sharply bounded arithmetic (Q1325055) (← links)
- Multifunction algebras and the provability of \(PH\downarrow\) (Q1577486) (← links)
- Structures interpretable in models of bounded arithmetic (Q2570136) (← links)
- A Remark on Independence Results for Sharply Bounded Arithmetic (Q4224090) (← links)
- On the finite axiomatizability of (Q5109206) (← links)
