A metapredicative study of μ-arithmetics

Abstract

We present a semi-formal analysis of intuitionistic higher-order μ-arithmetic through the medium of illfounded proofs and continuous cut elimination.