arXiv:1607.05237 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords schwichtenbergs bar recursion closure theorem, direct proof, rule-like version spectors bar recursion, explicit construction Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset