Algebraic Set Theory

Offering an algebraic approach to set theory, this text introduces a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar ax... » 

Offering an algebraic approach to set theory, this text introduces a particular kind of algebra, the Zermelo-Fraenkel algebras, which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore, it constructs such algebras using the theory of bisimulations. «