Degrees of formal systems
From MaRDI portal
Publication:3269136
DOI10.2307/2964013zbMath0093.01301OpenAlexW2031203614MaRDI QIDQ3269136
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
Related Items
Friedman-reflexivity ⋮ Representability of recursively enumerable sets in formal theories ⋮ Representability op recursively enumerable sets in formal theories ⋮ FINDING THE LIMIT OF INCOMPLETENESS I ⋮ Index sets for \(\Pi^0_1\) classes ⋮ Weak essentially undecidable theories of concatenation
Cites Work