Dieses Buch bietet einen neuen algebraischen Ansatz für die Mengenlehre. Die Autoren führen eine besondere Art von Algebra ein, die Zermelo-Fraenkel-Algebra, die sich aus den bekannten Axiomen der Zermelo-Fraenkel-Mengenlehre ergeben. Darüber hinaus konstruieren die Autoren solche Algebren explizit mit Hilfe der Theorie der Bisimulationen. Ihr Ansatz ist völlig konstruktiv und beinhaltet sowohl die intuitionistische Mengenlehre als auch die Topostheorie. Insbesondere bietet es eine einheitliche Beschreibung verschiedener Konstruktionen der kumulativen Hierarchie von Mengen in Forcing-Modellen, Garbenmodellen und Realisierbarkeitsmodellen. Doktoranden und Forscher in mathematischer Logik, Kategorientheorie und Informatik sollten dieses Buch von großem Interesse finden und es sollte für jeden zugänglich sein, der über einen gewissen Hintergrund in kategorischer Logik verfügt. Sprache: Englisch