A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets

Arnold Beckmann. A non-well-founded primitive recursive tree provably well-founded for co-r.e. sets. Arch. Math. Log., 41(3):251-257, 2002. [doi]

Abstract

Abstract is missing.