A sharp version of the bounded Matijasevich conjecture and the end-extension problem

DOI10.2307/2275295zbMath0789.03037OpenAlexW2006547474WikidataQ122961554 ScholiaQ122961554MaRDI QIDQ4032645

Zofia Adamowicz

Publication date: 1 April 1993

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275295

zbMATH Keywords

end extension problembounded inductionbounded Matijasevich conjectureMatijasevich theorem

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Related Items (5)

A direct method for simulating partial recursive functions by Diophantine equations ⋮ End extensions of models of weak arithmetic theories ⋮ Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) ⋮ Truth definition for $\Delta _ 0$ formulas and PSPACE computations ⋮ A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem

Cites Work

• Logic, methodology and philosophy of science VIII. Proceedings of the eighth international congress of logic, methodology and philosophy of science, Moscow, August 17-22, 1987
• Hilbert's Tenth Problem is Unsolvable

This page was built for publication: A sharp version of the bounded Matijasevich conjecture and the end-extension problem