Variants of Robinson's essentially undecidable theoryR
From MaRDI portal
Publication:4749827
DOI10.1007/BF02023013zbMath0511.03015OpenAlexW2022628111MaRDI QIDQ4749827
James P. Jones, John C. Shepherdson
Publication date: 1983
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/138007
Related Items
HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM?, On \(\mathsf{Q}\), Weak theories of concatenation and arithmetic, Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\), The scope of Gödel's first incompleteness theorem, Arithmetic on semigroups, CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN, FINDING THE LIMIT OF INCOMPLETENESS I, Weak essentially undecidable theories of concatenation, On interpretability between some weak essentially undecidable theories
Cites Work