Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Smullyan, Raymond M.
1958.
Undecidability and recursive inseparability.
Mathematical Logic Quarterly,
Vol. 4,
Issue. 7-11,
p.
143.
Shepherdson, J. C.
1961.
Representability of recursively enumerable sets in formal theories.
Archiv für Mathematische Logik und Grundlagenforschung,
Vol. 5,
Issue. 3-4,
p.
119.
Pour-El, Marian Boykan
1970.
A Recursion-theoretic View of Axiomatizable Theories.
dialectica,
Vol. 24,
Issue. 4,
p.
267.
1992.
Vol. 125,
Issue. ,
p.
603.
Ding, Shuo
and
Zhang, Qirun
2023.
Witnessability of Undecidable Problems.
Proceedings of the ACM on Programming Languages,
Vol. 7,
Issue. POPL,
p.
982.