Bonito nombre


En la teoría de conjuntos , se usa un nombre agradable para obligar a imponer un límite superior al número de subconjuntos en el modelo genérico. Se utiliza en el contexto de forzar para probar los resultados de la independencia en la teoría de conjuntos, como el teorema de Easton .

Sea ZFC transitivo, una noción forzosa , y supongamos que es genérico .

Luego, para cualquier -name en , decimos que es un buen nombre para un subconjunto de if es un -name que satisface las siguientes propiedades:

(1)

(2) Para todos los nombres , forma un antichain.

(3) (Adición natural) : Si , entonces existe en tal que .