Hostname: page-component-77c89778f8-9q27g Total loading time: 0 Render date: 2024-07-21T02:40:16.450Z Has data issue: false hasContentIssue false

On a cardinal equation in set theory

Published online by Cambridge University Press:  17 April 2009

J.L. Hickman
Affiliation:
Department of Mathematics, Institute of Advanced Studies, Australian National University, Canberra, ACT.
Rights & Permissions [Opens in a new window]

Abstract

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.

We work in a Zermelo-Fraenkel set theory without the Axiom of Choice. In the appendix to his paper “Sur les ensembles finis”, Tarski proposed a finiteness criterion that we have called “C-finiteness”: a nonempty set is called “C-finite” if it cannot be partitioned into two blocks, each block being equivalent to the whole set. Despite the fact that this criterion can be shown to possess several features that are undesirable in a finiteness criterion, it has a fair amount of intrinsic interest. In Section 1 of this paper we look at a certain class of C-finite sets; in Section 2 we derive a few consequences from the negation of C-finiteness; and in Section 3 we show that not every C-infinite set necessarily possesses a linear ordering. Any unexplained notation is given in my paper, “Some definitions of finiteness”, Bull. Austral. Math. Soc. 5 (1971).

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1972

References

[1]Halpern, J.D. and Howard, Paul E., “Cardinals m such that 2m = m”, Proc. Amer. Amth. Soc. 26 (1970), 487490.Google Scholar
[2]Hickman, J.L., “Some definitions of finiteness”, Bull. Austral. Math. Soc. 5 (1971), 321330.CrossRefGoogle Scholar
[3]Hickman, J.L., “Some definitions of finiteness: Corrigenda”, Bull. Austral. Math. Soc. 6 (1972), 319.CrossRefGoogle Scholar
[4]Rosser, J. Barkley, Simplified independence proofs (Academic Press, New York, London, 1969).Google Scholar
[5]Tarski, Alfred, “Sur les ensembles finis”, Fund. Math. 6 (1924), 4595.CrossRefGoogle Scholar