Mathematical logic quarterly · 1968 · 75 citations · 2 references
Natural SciencesComputer ScienceMathematicsSet TheoryPredicate LogicRecursion Theory
2
Undecidability of Some Topological Theories
Andrzej Grzegorczyk · Fundamenta Mathematicae · 1951 · 109 citations · Full text
Initial Segments of Turing Degrees
D. F. Hugill · Proceedings of the London Mathematical Society · 1969 · 22 citations