Facile fatto su modelli e cardinali

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Facile fatto su modelli e cardinali

Messaggio 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})$.
"Quello lì pubblica come un riccio!" (G.)
"Questo puoi mostrarlo o assumendo abc o assumendo GRH+BSD, vedi tu cos'è meno peggio..." (cit.)
Avatar utente
<enigma>
Messaggi: 876
Iscritto il: 24 set 2009, 16:44

Re: Facile fatto su modelli e cardinali

Messaggio da <enigma> »

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.)
Rispondi