PCF arithmetic without and with choice
Logic
2010-03-03 v3
Abstract
We deal with relatives of GCH which are provable. In particular we deal with rank version of the revised GCH. Our motivation was to find such results when only weak versions of the axiom of choice are assumed but some of the results gives us additional information even in ZFC.
Keywords
Cite
@article{arxiv.0905.3021,
title = {PCF arithmetic without and with choice},
author = {Saharon Shelah},
journal= {arXiv preprint arXiv:0905.3021},
year = {2010}
}