3m0o ha scritto:-Perché basta un po' meno dell'assioma della scelta per dimostrare che esiste un insieme non misurabile.
- Cos'è DC ?
- In che senso esiste un modello di ZF ? Il modello ZF non è solo il modello ZF?
- Se dici che non puoi dimostrare che esiste un insieme non misurabile sottointendi anche che non puoi dimostrare che non esiste un insieme non misurabile quando poi dici che è indecidibile
edit: ed infinie perché è indecidibile tolto l'assioma della scelta
otta96 ha scritto:In che senso perché? Perché esiste una dimostrazione che non lo usa ed usa dei risultati che sono notoriamente logicamente più deboli dall'assioma della scelta.
otta96 ha scritto:Pfffffffffff...
otta96 ha scritto:Per quel risultato di Solovay.
Visitano il forum: Nessuno e 1 ospite