Pages that link to "Item:Q4032645"
From MaRDI portal
The following pages link to A sharp version of the bounded Matijasevich conjecture and the end-extension problem (Q4032645):
Displaying 5 items.
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Truth definition for $\Delta _ 0$ formulas and PSPACE computations (Q5146427) (← links)
