The following pages link to (Q3470461):
Displayed 13 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067) (← links)
- A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) (Q685068) (← links)
- Exponentiation and second-order bounded arithmetic (Q922540) (← links)
- Binary models generated by their tally part (Q1337500) (← links)
- End extensions of models of linearly bounded arithmetic (Q1377910) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← 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)
- On Extensions of Models of Strong Fragments of Arithmetic (Q4205426) (← links)
- On Wilkie and Paris’s notion of fullness (Q4615032) (← links)
- Truth definition for $\Delta _ 0$ formulas and PSPACE computations (Q5146427) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)