Abstract
We consider natural cardinal invariants hmn and prove several duality theorems, saying roughly: If I is a suitably definable ideal and provably coy(I) ≥ hmn, then non(I) is provably small. The proofs integrate the determinacy theory, forcing and pcf theory.
| Original language | English |
|---|---|
| Pages (from-to) | 585-595 |
| Number of pages | 11 |
| Journal | Mathematical Research Letters |
| Volume | 9 |
| Issue number | 5-6 |
| DOIs | |
| State | Published - 2002 |