Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Języki publikacji
Abstrakty
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
Słowa kluczowe
Kategorie tematyczne
Czasopismo
Rocznik
Tom
Numer
Strony
11-25
Opis fizyczny
Daty
wydano
1995
otrzymano
1993-08-24
poprawiono
1994-10-05
Twórcy
autor
- 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, gonzal@cesar.unicamp.br
Bibliografia
- [1] J. D. Halpern and P. E. Howard, Cardinals m such that 2m = m, Proc. Amer. Math. Soc. 26 (1970), 487-490.
- [2] T. Jech, The Axiom of Choice, North-Holland, Amsterdam, 1973.
- [3] A. Levy, The independence of various definitions of finiteness, Fund. Math. 46 (1958), 1-13.
- [4] D. Pincus, Zermelo-Fraenkel consistency results by Fraenkel-Mostowski methods, J. Symbolic Logic 37 (1972), 721-743.
- [5] J. G. Rosenstein, Linear Orderings, Academic Press, New York, 1982.
- [6] G. Sageev, An independence result concerning the axiom of choice, Ann. Math. Logic 8 (1975), 1-184.
- [7] A. Tarski, Sur les ensembles finis, Fund. Math. 6 (1924), 45-95.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-fmv147i1p11bwm