Pages that link to "Item:Q716498"
From MaRDI portal
The following pages link to Independence results for variants of sharply bounded induction (Q716498):
Displaying 6 items.
- The strength of sharply bounded induction requires MSP (Q636290) (← links)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958) (← links)
- (Q3140642) (← links)
- A Remark on Independence Results for Sharply Bounded Arithmetic (Q4224090) (← links)
- A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications (Q4393170) (← links)
- Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics (Q5108098) (← links)