Safe Recursive Set Functions

Arnold Beckmann, Samuel R. Buss, Sy-David Friedman. Safe Recursive Set Functions. Journal of Symbolic Logic, 80(3):730-762, 2015. [doi]

Abstract

Abstract is missing.