Abstract Set Theory. Studies in Logic and the Foundations of Mathematics.