Publisher： Cambridge University Press
E-ISSN： 1943-5886|60|4|1115-1117
ISSN： 0022-4812
Source： The Journal of Symbolic Logic, Vol.60, Iss.4, 1995-12, pp. : 1115-1117
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
We show that it is not possible to construct a Fraenkel-Mostowski model in which the axiom of choice for well-ordered families of sets and the axiom of choice for sets of well-orderable sets are both true, but the axiom of choice is false.
Related content
Non-well-foundedness of well-orderable power sets
The Journal of Symbolic Logic, Vol. 68, Iss. 3, 2003-09 ,pp. :
Access to resources
Recommend
Infinite exponent partition relations and well-ordered choice
The Journal of Symbolic Logic, Vol. 38, Iss. 2, 1973-06 ,pp. :
On the bounded monadic theory of well-ordered structures
The Journal of Symbolic Logic, Vol. 45, Iss. 2, 1980-06 ,pp. :