Metarecursively enumerable sets and admissible ordinals

DOI10.1090/S0002-9904-1966-11416-7MaRDI QIDQ5528641zbMATH OpenFDO

Authors Gerald E. Sacks

Publication date 1966

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9904-1966-11416-7

zbMATH Keywords

mathematical logic

Cites work

• A Theorem on Hypersimple Sets
• scientific article; zbMATH DE number 3117565 (Why is no real title available?)
• scientific article; zbMATH DE number 3356759 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Measure-Theoretic Uniformity in Recursion Theory and Set Theory
• Metarecursive sets
• On the degrees less than 0'
• On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
• Post's Problem, Admissible Ordinals, and Regularity
• Recursive well-orderings
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)

Cited in

(5)

• The Role of True Finiteness in the Admissible Recursively Enumerable Degrees
• Barwise: Infinitary Logic and Admissible Sets
• THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES
• Π₁¹ Sets, ω-Sets, and metacompleteness
• Metarecursively enumerable sets and their metadegrees

This page was built for publication: Metarecursively enumerable sets and admissible ordinals

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