Pages that link to "Item:Q2892683"
From MaRDI portal
The following pages link to Truth definitions without exponentiation and the Σ<sub>1</sub> collection scheme (Q2892683):
Displaying 4 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)
- Incompleteness of boundedly axiomatizable theories (Q6621302) (← links)
