Facile fatto su modelli e cardinali

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

Facile fatto su modelli e cardinali

Messaggio da <enigma> » 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})$.
"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: 873
Iscritto il: 24 set 2009, 16:44

Re: Facile fatto su modelli e cardinali

Messaggio da <enigma> » 24 ago 2015, 20:00

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

Chi c’è in linea

Visitano il forum: Nessuno e 3 ospiti