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 truly successor cardinals. From this we show that some diagonalization arguments (more specifically some black boxes and consequence) on Abelian groups. We end by showing some such consequences hold in ZF above.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.