Recursion theory week. Proceedings of a conference held in Oberwolfach, Germany, March 19-25, 1989
From MaRDI portal
Publication:1188710
DOI10.1007/BFb0086109zbMath0699.00011MaRDI QIDQ1188710
No author found.
Publication date: 17 September 1992
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items
Three topological reducibilities for discontinuous functions, Decision times of infinite computations, Cousin’s lemma in second-order arithmetic, Classes of Polish spaces under effective Borel isomorphism, Finding bases of uncountable free abelian groups is usually difficult, Effectively closed subgroups of the infinite symmetric group, On cototality and the skip operator in the enumeration degrees, Measure-theoretic applications of higher Demuth’s Theorem, Cohesive avoidance and strong reductions, Splitting theorems in recursion theory, Lawvere-Tierney topologies for computability theorists