Duality and the pcf theory
classification
🧮 math.LO
keywords
theorydualityprovablycardinalconsiderdefinabledeterminacyforcing
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.