The generic pair conjecture for dependent diagrams
Fix a dependent diagram DDD and a strongly compact cardinal θ>∣T∣\theta>|T|θ>∣T∣. Let θ<λ=λ<λ\theta<\lambda=\lambda^{<\lambda}θ<λ=λ<λ and λ+=2λ\lambda^{+}=2^{\lambda}λ+=2λ. Let … be an increasing continuous s…