Recursive predicates and quantifiers

Abstract

This paper contains a general theorem on the quantification of recursive predicates, with applications to the foundations of mathematics.