Pages that link to "Item:Q2339958"
From MaRDI portal
The following pages link to Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958):
Displaying 4 items.
- Iterated multiplication in \(VTC^0\) (Q2155497) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\) (Q2700809) (← links)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)
