Degrees of formal systems

DOI10.2307/2964013MaRDI QIDQ3269136zbMATH OpenOpenAlexFDO

Authors Joseph R. Shoenfield

Publication date 1959

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

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

zbMATH Keywords

foundations, philosophy and logic of mathematics

Cites work

• Degrees of unsolvability associated with classes of formalized theories

Cited in

(7)

• Friedman-reflexivity
• Representability of recursively enumerable sets in formal theories
• Finding the limit of incompleteness. I
• Representability op recursively enumerable sets in formal theories
• Weak essentially undecidable theories of concatenation
• Index sets for \(\Pi^0_1\) classes
• Essential hereditary undecidability

This page was built for publication: Degrees of formal systems

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