Questo libro offre un nuovo approccio algebrico alla teoria degli insiemi. Gli autori introducono un particolare tipo di algebra, le algebre di Zermelo-Fraenkel, che derivano dai familiari assiomi della teoria degli insiemi di Zermelo-Fraenkel. Inoltre, gli autori costruiscono esplicitamente tali algebre utilizzando la teoria delle bisimulazioni. Il loro approccio è completamente costruttivo e contiene sia la teoria degli insiemi intuizionistica che la teoria dei topos. In particolare, fornisce una descrizione uniforme delle varie costruzioni della gerarchia cumulativa degli insiemi nei modelli di forzatura, nei modelli a fascio e nei modelli di realizzabilità. Gli studenti laureati e i ricercatori in logica matematica, teoria delle categorie e informatica dovrebbero trovare questo libro di grande interesse e dovrebbe essere accessibile a chiunque abbia un po' di background in logica categoriale. Lingua: Inglese