Finitary Treatment of Operator Controlled Derivations

Wilfried Buchholz. Finitary Treatment of Operator Controlled Derivations. Math. Log. Q., 47(3):363-396, 2001. [doi]

Abstract

Abstract is missing.