Publication:3234158
From MaRDI portal
zbMath0071.24602MaRDI QIDQ3234158
Publication date: 1956
03-XX: Mathematical logic and foundations
Related Items
There is no degree invariant half-jump, The ∀∃-theory of ℛ(≤,∨,∧) is undecidable, Kolmogorov entropy in the context of computability theory, Intervals containing exactly one c.e. degree, Über die Reduzierbarkeit berechenbarer Numerierungen, Ideals in computable rings, Extensions of Hilbert’s Tenth Problem: Definability and Decidability in Number Theory