"Addendum to "countable algebra and set existence axioms"."

Harvey M. Friedman, Stephen G. Simpson, Rick L. Smith (1985)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics