The closure conjecture for the first omitting cardinal of Magidority
Closure conjecture. If θ<α\theta<\alphaθ<α, then
MathDB