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

Autor:	Metakides, George, Plotkin, J. M.
Zdroj:	The Journal of Symbolic Logic, 1975 Jun 01. 40(2), 167-170.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2271897 Zobrazit plný text záznamu