New answers tagged inner-model-theory
12
votes
Accepted
What is the evidence for and against the HOD conjecture?
I believe it is fair to say that the HOD Conjecture has been refuted.
The HOD Conjecture is the statement that the theory ZFC + "There is an extendible cardinal" proves that there is a ...
- 18.6k
Top 50 recent answers are included