Pages that link to "Item:Q2892683"
From MaRDI portal
The following pages link to Truth definitions without exponentiation and the \(\Sigma _{1}\) collection scheme (Q2892683):
Displaying 7 items.
- On complexity reduction of \(\Sigma_1\) formulas (Q1407576) (← links)
- 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)
- EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC (Q3188343) (← links)
- Truth definition for $\Delta _ 0$ formulas and PSPACE computations (Q5146427) (← links)
- An ‘<i>i</i>’ for an <i>i</i>, a Truth for a Truth† (Q5149971) (← links)
- Incompleteness of boundedly axiomatizable theories (Q6621302) (← links)