Full operational set theory with unbounded existential quantification and power set

Gerhard Jäger. Full operational set theory with unbounded existential quantification and power set. Annals of Pure and Applied Logic, 160(1):33-52, 2009. [doi]

Abstract

Abstract is missing.