Admissible ordinals and priority arguments
- 1 January 1973
- book chapter
- Published by Springer Nature
- p. 311-344
- https://doi.org/10.1007/bfb0066780
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A minimal pair of Π10 classesThe Journal of Symbolic Logic, 1971
- A minimal pair of recursively enumerable degreesThe Journal of Symbolic Logic, 1966
- Lower Bounds for Pairs of Recursively Enumerable DegreesProceedings of the London Mathematical Society, 1966
- Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplicationThe Journal of Symbolic Logic, 1958
- TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)Proceedings of the National Academy of Sciences, 1957