Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-18T21:21:36.658Z Has data issue: false hasContentIssue false
  • English
  • Français

Independence results concerning Dedekindfinite sets

Published online by Cambridge University Press:  09 April 2009

G. P. Monro
G. P. Monro
Affiliation:
Department of Pure Mathematics, University of Sydney, Sydney, 2006, Australia
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

A Dedekind-finite set is one not equinumerous with any of its proper subsets; it is well known that the axiom of choice implies that all such sets are finite. In this paper we show that in the absence of the axiom of choice it is possible to construct Dedekind-finite sets which are large, in the sense that they can be mapped onto large ordinals; we extend the result to proper classes. It is also shown that the axiom of choice for countable sets is not implied by the assumption that all Dedekind-finite sets are finite.

Type
Research Article
Information
Journal of the Australian Mathematical Society , Volume 19 , Issue 1 , February 1975 , pp. 35 - 46
Copyright
Copyright © Australian Mathematical Society 1975

References

Felgner, U. (1971), Models of ZF-Set Theory (Lecture Notes in Mathematics Vol. 223, Springer-Verlag, Berlin, 1971).CrossRefGoogle Scholar
Lévy, A. (1965), ‘The Fraenkel-Mostowski method forindependence results’, in The Theory of Models, ed. Addison, , Henkin, , Tarski, (North-Holland, Amsterdam, 1965).Google Scholar
Shoenfield, J. R. (1971), ‘Unramified forcing’, in Proceedings of Symposia in Pure Mathmatics Vol. XIII Part I, ed. Scott, (A.M.S., Providence, R.I., 1971).Google Scholar
Tarski, A. (1924), ‘Sur les ensembles finis’, Fund. Math. 6, 45–95.CrossRefGoogle Scholar