A generalization of a formalized theory of fields of sets on non-classical logics [Book] Helena Rasiowa (1964)
A one axiom set theory based on higher order predicate calculus. M.W. Bunder (1983) Archiv für mathematische Logik und Grundlagenforschung
Axiomatizability of second order arithmetic with ω-rule Paweł Zbierski (1978) Fundamenta Mathematicae