Pagina 1 di 1

Facile fatto su modelli e cardinali

Inviato: 25 lug 2015, 10:55
da <enigma>
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})$.

Re: Facile fatto su modelli e cardinali

Inviato: 24 ago 2015, 20:00
da <enigma>
Resuscito: click.