Journal of Mathematical Logic and Fundamentals of Mathematics