Sh:1005

• Shelah, S. (2016). ZF + DC + AX_4. Arch. Math. Logic, 55(1-2), 239–294. arXiv: 1411.7164 DOI: 10.1007/s00153-015-0469-0 MR: 3453586
• Abstract:
  We consider mainly the following version of set theory:“ZF + DC and for every \lambda,\lambda^{\aleph_0} is well ordered", our thesis is that this is a reasonable set theory, e.g. much can be said. In particular, we prove that for a sequence \bar\delta = \langle \delta_s:s \in Y\rangle,\textrm{cf}(\delta_s) large enough compared to Y, we can prove the pcf theorem with minor changes (using true cofinalities not the pseudo one). We then deduce the existence of covering numbers and define and prove existence of truely successor cardinals. From this we show that some diagonalization arguments (more specifically some black boxes and consequence) on Abelian groups. We end but showing some such consequences hold in ZF above.
• Version 2021-09-15 (55p) published version (56p)

@article{Sh:1005,
 author = {Shelah, Saharon},
 title = {{ZF + DC + AX$_4$}},
 journal = {Arch. Math. Logic},
 fjournal = {Archive for Mathematical Logic},
 volume = {55},
 number = {1-2},
 year = {2016},
 pages = {239--294},
 issn = {0933-5846},
 mrnumber = {3453586},
 mrclass = {03E04 (03E25 03E75 20K20 20K30)},
 doi = {10.1007/s00153-015-0469-0},
 note = {\href{https://arxiv.org/abs/1411.7164}{arXiv: 1411.7164}},
 arxiv_number = {1411.7164}
}