Duality and the pcf theory
Logic
2007-05-23 v1
Abstract
We consider natural cardinal invariants hm_n and prove several duality theorems, saying roughly: if I is a suitably definable ideal and provably cov(I)>=hm_n, then non(I) is provably small. The proofs integrate the determinacy theory, forcing and pcf theory.
Cite
@article{arxiv.math/0212041,
title = {Duality and the pcf theory},
author = {Saharon Shelah and Jindrich Zapletal},
journal= {arXiv preprint arXiv:math/0212041},
year = {2007}
}