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):
Displayed 4 items.
- Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152) (← links)
- The strength of sharply bounded induction requires MSP (Q636290) (← links)
- Multifunction algebras and the provability of \(PH\downarrow\) (Q1577486) (← links)
- On the finite axiomatizability of (Q5109206) (← links)