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

DOI10.2307/2275295MaRDI QIDQ4032645zbMATH OpenOpenAlexWikidataFDO

Authors 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

bounded inductionbounded Matijasevich conjectureend extension problemMatijasevich theorem

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Recommendations

• End-extending models of IΔ_0 + exp + ΒΣ_1
• End-extensions of models of weak arithmetic from complexity-theoretic containments
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
• A note on end extensions
• scientific article; zbMATH DE number 4137758

Cites work

• Hilbert's Tenth Problem is Unsolvable
• 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

Cited in

(8)

• A direct method for simulating partial recursive functions by Diophantine equations
• Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\)
• \(0^{\sharp}\) and elementary end extensions of \(V_{\kappa}\)
• End extensions of models of weak arithmetic theories
• On the End Extension Problem For Δ0-PA(S)
• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• Truth definition for _0 formulas and PSPACE computations
• A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4032645)