An Algebraic Characterization of Power Set in Countable Standard Models of ZF

George Metakides, J. M. Plotkin. An Algebraic Characterization of Power Set in Countable Standard Models of ZF. Journal of Symbolic Logic, 40(2):167-170, 1975.

Abstract

Abstract is missing.