Pages that link to "Item:Q3188343"
From MaRDI portal
The following pages link to EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC (Q3188343):
Displaying 7 items.
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- AXIOMS FOR FINITE COLLAPSE MODELS OF ARITHMETIC (Q3195589) (← links)
- Existentially Closed Models and Conservation Results in Bounded Arithmetic (Q3611724) (← links)
- On Models Constructed by Means of the Arithmetized Completeness Theorem (Q4521125) (← links)
- Restricted polynomial induction versus ordinary induction (Q4565103) (← links)
- The small‐is‐very‐small principle (Q5108874) (← links)
- Strong initial segments of models of IΔ<sub>0</sub> (Q5295064) (← links)