@AlessandroCodenotti I have to admit I did not look into Kunen for a long time. And I will be ruther busy in the coming weeks/months.

So I would suggest letting this room freeze - as mentioned before: chat.stackexchange.com/transcript/62628/2017/10/15

I suppose you'll be ok with that.

After all, there is also set theory room.

And if there is some interest in studying Kunen, the room can be unfrozen. (It would be necessary to find a moderator willing to do this. But I guess it won't be a problem.)