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 |