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})$.
Facile fatto su modelli e cardinali
Facile fatto su modelli e cardinali
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Re: Facile fatto su modelli e cardinali
Resuscito: click.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)