Pages that link to "Item:Q2892683"

The following pages link to Truth definitions without exponentiation and the Σ₁ collection scheme (Q2892683):

Displaying 3 items.

• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas (Q2449854) (← links)
• Truth definition for $\Delta _ 0$ formulas and PSPACE computations (Q5146427) (← links)