Concepedia
Annals of Mathematical Logic · 1972 · 29 citations · 3 references
Natural SciencesComputer ScienceMathematicsAlgebraCombinatoricsSet TheoryCombinatorial EnumerationCombinatorial Set TheoryEnumerative CombinatoricsPartial OrdersPartially Ordered SetsRecursion TheoryRecursive EnumerabilityRecursively Enumerable Sets
3
The α-finite injury method
Gerald E. Sacks, Stephen G. Simpson · Annals of Mathematical Logic · 1972 · 78 citations
Engineering, Computational Engineering, Mechanical Engineering +7
Post’s problem, admissible ordinals, and regularity
Gerald E. Sacks · Transactions of the American Mathematical Society · 1966 · 56 citations · Full text
Natural Sciences, Computer Science, Mathematics +13
Post's Problem, Admissible Ordinals, and Regularity
Gerald E. Sacks · Transactions of the American Mathematical Society · 1966 · 19 citations
Natural Sciences, Mathematics, Philosophy Of Mathematics +6