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.