Tag Archives: Jensen’s covering theorem

Re: Paper and slides on indefiniteness of CH

Dear all,

Here is some background for those who are interested. My apologies to those who are not, but delete is one key stroke away.

Jensen’s Covering Theorem states that V is either very close to L or very far from L. This opens the door for consideration of 0^\# and current generation of large cardinal axioms.

Details: “close to L” means that L computes the successors of all singular (in V) cardinals correctly. “far from L” means every uncountable cardinal is inaccessible in L.

The HOD Dichotomy Theorem [proved here] is in some sense arguably an abstract generalization of Jensen’s Covering Theorem. This theorem states that if there is an extendible cardinal then V is either very close to \text{HOD} or very far from \text{HOD}.

Details: Suppose \delta is an extendible cardinal. “very close to \text{HOD}” means the successor of every singular cardinal above \delta is correctly computed by \text{HOD}. “very far from \text{HOD}” means that every regular cardinal above \delta is a measurable cardinal in \text{HOD} and so \text{HOD} computes no successor cardinals correctly above \delta.

Aside: The restriction to cardinals above \delta is necessary by forcing considerations and the close versus far dichotomy is much more extreme than just what is indicated above about successor cardinals.

The pressing question then is: Is the \text{HOD} Dichotomy Theorem really a “dichotomy” theorem?

The \text{HOD} Conjecture is the conjecture that it is not; i.e. if there is an extendible cardinal then \text{HOD} is necessarily close to V.

Given set theoretic history, arguably the more plausible conjecture is that \text{HOD} Dichotomy Theorem is a genuine dichotomy theorem and so just as 0^\# initiates a new generation of large cardinal axioms (that imply V is not L) there is yet another generation of large cardinal axioms which corresponds to the failure of the \text{HOD} Conjecture.

But now there is tension with the Inner Model Program which predicts that \text{HOD} Conjecture is true (for completely unexpected reasons).

My question to Sy was implicitly: Why does he not, based on maximality, reject \text{HOD} Conjecture since disregarding the evidence from the Inner Model Program, the most natural speculation is that the \text{HOD} Conjecture is false.

The point here is that the analogous conjecture for L is false (since 0^\# exists).

So one could reasonably take the view that the \text{HOD} Conjecture is as misguided now as would have been the conjecture that L is close to V given the Jensen Covering Theorem. (Let’s revise history and pretend that Jensen’s Covering Theorem was proved before measurable cardinals etc. had been defined and analyzed).