Recursion theory week. Proceedings of a Conference held in Oberwolfach, West Germany, April 15-21, 1984
From MaRDI portal
Publication:1059048
DOI10.1007/BFb0076211zbMath0566.00001OpenAlexW2494466741MaRDI QIDQ1059048
No author found.
Publication date: 1985
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bfb0076211
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Computability of convergence rates in the ergodic theorem for Martin-Löf random points, A combinatorial forcing for coding the universe by a real when there are no sharps, PA RELATIVE TO AN ENUMERATION ORACLE, Undecidability and initial segments of the (r.e.) tt-degrees, Mass problems associated with effectively closed sets
