arXiv:1709.04715 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords turing schmerl calculus, relational semantics, complete version, draft version, system tsc Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset