Set theory without choice: not everything on cofinality is possible

Archive for Mathematical Logic 36 (2):81-125 (1997)
  Copy   BIBTEX

Abstract

Abstract.We prove in ZF+DC, e.g. that: if \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mu=|{\cal H}(\mu)|$\end{document} and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mu>\cf(\mu)>\aleph_0$\end{document} then \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mu ^+$\end{document} is regular but non measurable. This is in contrast with the results on measurability for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $\mu=\aleph_\omega$\end{document} due to Apter and Magidor [ApMg].

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 102,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Two-cardinal diamond and games of uncountable length.Pierre Matet - 2015 - Archive for Mathematical Logic 54 (3-4):395-412.
Hard Provability Logics.Mojtaba Mojtahedi - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour, Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 253-312.
A remark on hereditarily nonparadoxical sets.Péter Komjáth - 2016 - Archive for Mathematical Logic 55 (1-2):165-175.

Analytics

Added to PP
2013-10-30

Downloads
20 (#1,069,575)

6 months
4 (#1,064,894)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Applications of PCF theory.Saharon Shelah - 2000 - Journal of Symbolic Logic 65 (4):1624-1674.
More on the Revised GCH and the Black Box.Saharon Shelah - 2006 - Annals of Pure and Applied Logic 140 (1):133-160.
Pcf without choice Sh835.Saharon Shelah - 2024 - Archive for Mathematical Logic 63 (5):623-654.
Zf + dc + ax4.Saharon Shelah - 2016 - Archive for Mathematical Logic 55 (1-2):239-294.
On the consistency strength of critical leaps.Gunter Fuchs - forthcoming - Archive for Mathematical Logic:1-14.

View all 7 citations / Add more citations

References found in this work

No references found.

Add more references