Measure, Π 1 0 -classes and complete extensions of PA
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Mathematics
- p. 245-259
- https://doi.org/10.1007/bfb0076224
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Degrees of UnsolvabilityPublished by Springer Nature ,1983
- Degrees joining to 0′The Journal of Symbolic Logic, 1981
- Double jumps of minimal degreesThe Journal of Symbolic Logic, 1978
- Degrees of Unsolvability: A Survey of ResultsPublished by Elsevier ,1977