Degrees of formal systems

DOI10.2307/2964013zbMATH Open0093.01301OpenAlexW2031203614MaRDI QIDQ3269136FDOQ3269136

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)

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

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)