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

DOI10.2307/2275295zbMATH Open0789.03037OpenAlexW2006547474WikidataQ122961554 ScholiaQ122961554MaRDI QIDQ4032645FDOQ4032645

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

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

zbMATH Keywords

end extension problembounded inductionbounded Matijasevich conjectureMatijasevich theorem

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

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)

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

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)