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

(8)

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

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)