Degrees of unsolvability associated with classes of formalized theories

DOI10.2307/2964178zbMATH Open0078.00603OpenAlexW2135002906MaRDI QIDQ3243263FDOQ3243263

Solomon Feferman

Publication date: 1957

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

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

zbMATH Keywords

FoundationsMathematical LogicPhilosophy

Cites Work

• Recursively enumerable sets of positive integers and their decision problems
• Creative sets

Cited In (11)

• Representability op recursively enumerable sets in formal theories
• m-degrees of the word problem
• Theory spectra and classes of theories
• α-degrees of α-theories
• FINDING THE LIMIT OF INCOMPLETENESS I
• Computational processes, observers and Turing incompleteness
• Turing Jumps Through Provability
• Recursively enumerable sets and degrees
• Myhill's work in recursion theory
• Degrees of formal systems
• Pour-El's landscape

This page was built for publication: Degrees of unsolvability associated with classes of formalized theories

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