Modelli a valori booleani e risultati di indipendenza in teoria degli insiemi

Dopo aver ricordato alcuni risultati di base di ZFC e della teoria delle algebre di Boole, si costruisce il modello a valori booleani V^B per la teoria degli insiemi. Si mostra che costituisce effettivamente un modello. Si espone brevemente la relazione di forcing. Si mostra l'indipendenza, tramite un'algebra di Boole opportuna, dell'ipotesi del continuo.