Pages that link to "Item:Q1899142"
From MaRDI portal
The following pages link to \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\) (Q1899142):
Displaying 4 items.
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- Non-standard finite fields over \(I\Delta_0+\Omega_1\) (Q1567349) (← links)
- Iterated multiplication in \(VTC^0\) (Q2155497) (← links)
- Commutative unital rings elementarily equivalent to prescribed product rings (Q6146733) (← links)
