ArticleOriginal scientific text
Title
Dense orderings, partitions and weak forms of choice
Authors 1
Affiliations
- Centro de Lógica, Epistemologia e História da Ciência, Universidade Estadual de Campinas (Unicamp), P.O. Box 6133, 13081-000 Campinas SP, Brazil
Abstract
We investigate the relative consistency and independence of statements which imply the existence of various kinds of dense orders, including dense linear orders. We study as well the relationship between these statements and others involving partition properties. Since we work in ZF (i.e. without the Axiom of Choice), we also analyze the role that some weaker forms of AC play in this context
Bibliography
- J. D. Halpern and P. E. Howard, Cardinals m such that 2m = m, Proc. Amer. Math. Soc. 26 (1970), 487-490.
- T. Jech, The Axiom of Choice, North-Holland, Amsterdam, 1973.
- A. Levy, The independence of various definitions of finiteness, Fund. Math. 46 (1958), 1-13.
- D. Pincus, Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods, J. Symbolic Logic 37 (1972), 721-743.
- J. G. Rosenstein, Linear Orderings, Academic Press, New York, 1982.
- G. Sageev, An independence result concerning the axiom of choice, Ann. Math. Logic 8 (1975), 1-184.
- A. Tarski, Sur les ensembles finis, Fund. Math. 6 (1924), 45-95.
Additional information
http://matwbn.icm.edu.pl/ksiazki/fm/fm147/fm14712.pdf