Pages that link to "Item:Q3611724"
From MaRDI portal
The following pages link to Existentially Closed Models and Conservation Results in Bounded Arithmetic (Q3611724):
Displaying 7 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- Saturated models of universal theories (Q1861531) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Models of replacement schemes (Q2573725) (← links)
- A theorem on partial conservativity in arithmetic (Q3083142) (← links)
- EXISTENTIALLY CLOSED MODELS IN THE FRAMEWORK OF ARITHMETIC (Q3188343) (← links)
- Restricted polynomial induction versus ordinary induction (Q4565103) (← links)