Volume 133 of Studies in Logic and the Foundations of Mathematics