1 problem

Let $M eprec Htheta$ be a guessing model and let $lambdain M$ be a regular cardinal above $kappaM$. Boundedness conjecture. One has … This would remove the boundedness assumption f…