5 votos

Potencias de cardenales infinitos en la extensión genérica

Sea$\kappa, \lambda,\theta$ cardinales infinitos de$M$ donde$M$ es un modelo transitivo de ZFC. Sea$\mathcal{P}=Fn(\kappa\times \omega,2)$ (funciones finitas de$\kappa\times \omega$ a 2) y G es un conjunto genérico (M, P). Quiero mostrar $(\lambda^\theta)^{M[G]}=(max(\kappa,\lambda)^\theta)^M$. Una dirección es fácil$(\lambda^\theta)^M \leq (\lambda^\theta)^{M[G]}$ y$(\kappa^\theta)^M\leq (\kappa^\theta)^{M[G]}\leq ((2^\omega)^\theta)^{M[G]}=(2^\theta)^{M[G]}\leq (\lambda^\theta)^{M[G]}$ donde$(\kappa \leq 2^\omega)^{M[G]}$ es por la construcción forzada. Pero ahora no estoy muy seguro de cómo llegar a la otra dirección. ¿Alguna idea?

2voto

user1037894 Puntos 64

Este es el ejercicio (G1) en K.Kunen "Set Theory".

  • Si$\lambda \le \theta$ then$\lambda^\theta = 2^\theta$ y usando el lema VII 5.13 obtenemos el resultado.

  • Si$\lambda \gt \theta$ entonces usando el lema 5.5 podemos aproximar esta potencia en V ("hasta$\omega$"), por lo tanto$(\lambda^\theta)^{M[g]} \le ( (\lambda^\omega))^\theta )^M = (\lambda^\theta)^M$

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X