Facile fatto su modelli e cardinali
Inviato: 25 lug 2015, 10:55
Propongo un esercizietto (fatto che dovrebbe essere ben noto ai più esperti, ma tant'è) per ravvivare la sezione.
Dimostrare che se $\kappa$ è un cardinale inaccessibile allora $V_\kappa\models (\exists \text{ modello numerabile di ZFC})$.
Dimostrare che se $\kappa$ è un cardinale inaccessibile allora $V_\kappa\models (\exists \text{ modello numerabile di ZFC})$.