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 7 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)
- \(0^{\sharp}\) and elementary end extensions of \(V_{\kappa}\) (Q2719021) (← links)
- On the End Extension Problem For Δ0-PA(S) (Q3033758) (← links)
- Truth definition for $\Delta _ 0$ formulas and PSPACE computations (Q5146427) (← links)
