Hostname: page-component-8448b6f56d-dnltx Total loading time: 0 Render date: 2024-04-19T07:02:15.280Z Has data issue: false hasContentIssue false

The axiom of choice for well-ordered families and for families of well-orderable sets

Published online by Cambridge University Press:  12 March 2014

Paul Howard
Affiliation:
Eastern Michigan University, Department of Mathematics, Ypsilanti, Michigan 48197, E-mail: phoward@emunix.emich.edu Purdue University, Department of Mathematics, West Lafayette, Indiana 47907-1395, E-mail: jer@math.purdue.edu
Jean E. Rubin
Affiliation:
Purdue University, Department of Mathematics, West Lafayette, Indiana 47907-1395, E-mail: jer@math.purdue.edu

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.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1995

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Cohen, P. J., Set theory and the continuum hypothesis, Benjamin, New York, 1966.Google Scholar
[2]Feferman, S., Applications of forcing and generic sets, Fundamenta. Mathematicae, vol. 56 (1965), pp. 325345.CrossRefGoogle Scholar
[3]Howard, P., Limitations of the Fraenkel-Mostowski method of independence proofs, this Journal, vol. 38 (1973), pp. 416422.Google Scholar
[4]Jech, T. J., The axiom of choice, North Holland, Amsterdam, 1973.Google Scholar
[5]Jech, T. J., Interdependence of weakened forms of the axiom of choice, Commentationas Mathematicae Universitalis Carolinae, vol. 7 (1966), pp. 359371.Google Scholar
[6]Läuchli, H., The independence of the ordering principle from a restricted axiom of choice, Fundamenta Mathematicae, vol. 54 (1964), pp. 3143.CrossRefGoogle Scholar
[7]Mostowski, A., On the principle of dependent choices, Fundamenta Mathematicae, vol. 35 (1948), pp. 127130.CrossRefGoogle Scholar
[8]Pincus, D., Individuals in Zermelo-Fraenkel set theory, Doctoral Dissertation, Harvard University, Cambridge, Massachusetts, 1969.Google Scholar