Countable algebra and set existence axioms

Annals of Pure and Applied Logic - Tập 25 Số 2 - Trang 141-181 - 1983