All Questions
1 question
5
votes
1
answer
921
views
A Hot Betting On HOD
Remark: This question is based on an open question at the end of a paper by Hamkins, Kirmayer, and Perlmutter: "Generalizations of the Kunen Inconistency".
$HOD$ as an inner model of $ZFC$ lies ...