Pages that link to "Item:Q535152"
From MaRDI portal
The following pages link to Conservative fragments of \({{S}^{1}_{2}}\) and \({{R}^{1}_{2}}\) (Q535152):
Displaying 5 items.
- What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)? (Q1899145) (← links)
- A note on uniform density in weak arithmetical theories (Q2219096) (← links)
- Bounded arithmetic in free logic (Q2904624) (← links)
- A Remark on Independence Results for Sharply Bounded Arithmetic (Q4224090) (← links)
- On the finite axiomatizability of (Q5109206) (← links)
