Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-24T15:44:55.278Z Has data issue: false hasContentIssue false
  • English
  • Français

The status of the axiom of choice in set theory with a universal set

Published online by Cambridge University Press:  12 March 2014

T. E. Forster
T. E. Forster*
Affiliation:
Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, Cambridge CB2 1SB, England
Get access Rights & Permissions [Opens in a new window]

Extract

The purpose of this paper is not to produce a survey of systems with a universal set: we do not yet understand them well enough. Rather it will concentrate on one particular aspect of them: the curious circumstance that there are half-a-dozen or so distinct proofs of ~ AC available in set theories with a universal set. This began to emerge in 1953 when Specker published in [2] a proof of ~ AC in Quine's system NF. Until recently this was an isolated phenomenon and poorly understood. The proof answered few questions and seemed rather ad hoc, thus inviting an investigation to determine whether this was an artefact caused by the particular axioms for NF, or part of a general conflict between the demands of big sets and AC.

We will start with an informal discussion of the genesis of set theories with a universal set, collecting, en route, a number of desiderata for such theories. A number of new refutations of AC in systems meeting some or all of these conditions will then be presented. The conclusion the reader is invited to draw is that any sensible set theory with a universal set will probably have trouble with AC.

Why do set theory with V e V at all? It contradicts conventional wisdom which teaches us that e is wellfounded. It must be said for this doctrine (let us abbreviate it to WOOF) that it has enabled the rapid execution of the logicist programme, so if that were the sole purpose of set theory we could consider ourselves well served. However most pure mathematicians are platonists and study things not because they are useful but simply because they are there. And the belief that V is not there can, after all, only be the result of early conditioning.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 50 , Issue 3 , September 1985 , pp. 701 - 707
Copyright
Copyright © Association for Symbolic Logic 1985

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]Forster, T. E., Further consistency and independence results in NF obtained by the permutation method, this Journal, vol. 48 (1983), pp. 236–238.Google Scholar
[2]Specker, E. P., The axiom of choice in Quine's NF, Proceedings of the National Academy of Sciences of the United States of America, vol. 39 (1953), pp. 972–975.CrossRefGoogle Scholar
[3]Jensen, R.B., On the consistency of a? slight modification of Quine's NF, Synthese, vol. 19 (1968/1969), pp. 250–263.CrossRefGoogle Scholar
[4]Church, A., Set theory with a universal set, Proceedings of the Tarski Symposium, Proceedings of Symposia in Pure Mathematics, vol. 25, American Mathematical Society, Providence, Rhode Island, 1974, pp. 297–308.CrossRefGoogle Scholar
[5]Mitchell, E., A model of set theory with a universal set, Ph. D. Thesis, University of Wisconsin, Madison, Wisconsin, 1976.Google Scholar
[6]Forster, T. E., Quine's NF: An introduction, CABAY, Louvain-la-Neuve, 1982.Google Scholar
[7]Specker, E. P., Dualität, Dialectica, vol. 12 (1958), pp. 451–465.CrossRefGoogle Scholar