Tire uma dúvida, deixe uma dúvida

Para provar isso, precisamos mostrar duas condições: que κ é regular em M[G] e que κ é um limite forte em M[G]. Um cardinal κ é regular se a sua cofinalidade (cf(κ)) é igual a κ, ou seja, não existem sequências estritas de comprimento κ no modelo M[G]. A ideia aqui é utilizar a propriedade de que G ...