Skip to main content
added 468 characters in body
Source Link
Joel David Hamkins
  • 236.2k
  • 44
  • 777
  • 1.4k

$\newcommand\HOD{\text{HOD}}$

AlmostThere is no such border, because almost all the large cardinal properties, including the very strongest large cardinal axioms, are relatively consistent with $V=\HOD$. ThisFor the larger large cardinals, this is generally proved by forcing, sinceand there are numerous easy andseveral natural ways to force $V=\HOD$.

One easysuch way to force $V=\HOD$ is to force so as to code every set in the pattern of GCH on the cardinals. Basically, one undertakes a forcing iteration that at each cardinal stage decides generically whether to force the GCH at that cardinal or not; in other words, one uses the lottery sum of two posets, one of which forces the GCH there and the other of which forces a failure of GCH there. In the extension, a simple density argument shows that every set is coded into the GCH pattern, and so we get $V=\HOD$. (The general idea of this kind of coding is due originally to McAloon, although he used a different method. Many authors describe the coding with bookkeeping functions, but this is not actually needed, since the generic coding means that it is dense that any new set is coded.) The forcing is somewhat easier when the $\text{GCH}$ holds in the ground model, and in the general case one wants to space out the cardinals at which coding occurs. The assertion that every set is coded into the GCH pattern is named as the continuum coding axiom (CCA) in the dissertation of Jonas Reitz, who proved that this implies the ground axiom (GA). You can find further uses of the CCA in Set-theoretic geology, which also contains full details of this kind of forcing and variations.

Now, the point is that most of the usual large cardinal axioms are preserved by the $V=\HOD$ forcing, by the usual lifting arguments as for GCH. Thus, all the main large cardinals are relatively consistent with $V=\HOD$.

There are many other coding methods besides coding into the GCH pattern. Andrew Brooke-Taylor, for example, undertook coding in the $\Diamond^*_\kappa$ pattern, which allows one to force $V=\HOD+\text{GCH}$ while preserving all the usual large cardinal notions. His paper Large Cardinals and Definable Well-Orderings of the Universe exactly fits the theme of this question. See also my paper The wholeness axiom and $V=\HOD$, which is about precisely this problem in the case of the Wholeness axiom and related large cardinals.

$\newcommand\HOD{\text{HOD}}$

Almost all the large cardinal properties are relatively consistent with $V=\HOD$. This is generally proved by forcing, since there are numerous easy and natural ways to force $V=\HOD$.

One easy way to force $V=\HOD$ is to force so as to code every set in the pattern of GCH on the cardinals. Basically, one undertakes a forcing iteration that at each cardinal stage decides generically whether to force the GCH at that cardinal or not; in other words, one uses the lottery sum of two posets, one of which forces the GCH there and the other of which forces a failure of GCH there. In the extension, a simple density argument shows that every set is coded into the GCH pattern, and so we get $V=\HOD$. (The general idea of this kind of coding is due originally to McAloon, although he used a different method. Many authors describe the coding with bookkeeping functions, but this is not actually needed, since the generic coding means that it is dense that any new set is coded.) The assertion that every set is coded into the GCH pattern is named as the continuum coding axiom (CCA) in the dissertation of Jonas Reitz, who proved that this implies the ground axiom (GA). You can find further uses of the CCA in Set-theoretic geology, which also contains full details of this kind of forcing and variations.

Now, the point is that most of the usual large cardinal axioms are preserved by the $V=\HOD$ forcing, by the usual lifting arguments as for GCH. Thus, all the main large cardinals are relatively consistent with $V=\HOD$.

There are many other coding methods besides coding into the GCH pattern. Andrew Brooke-Taylor, for example, undertook coding in the $\Diamond^*_\kappa$ pattern, which allows one to force $V=\HOD+\text{GCH}$ while preserving all the usual large cardinal notions. His paper Large Cardinals and Definable Well-Orderings of the Universe exactly fits the theme of this question.

$\newcommand\HOD{\text{HOD}}$

There is no such border, because almost all the large cardinal properties, including the very strongest large cardinal axioms, are relatively consistent with $V=\HOD$. For the larger large cardinals, this is generally proved by forcing, and there are several natural ways to force $V=\HOD$.

One such way to force $V=\HOD$ is to force so as to code every set in the pattern of GCH on the cardinals. Basically, one undertakes a forcing iteration that at each cardinal stage decides generically whether to force the GCH at that cardinal or not; in other words, one uses the lottery sum of two posets, one of which forces the GCH there and the other of which forces a failure of GCH there. In the extension, a simple density argument shows that every set is coded into the GCH pattern, and so we get $V=\HOD$. (The general idea of this kind of coding is due originally to McAloon, although he used a different method. Many authors describe the coding with bookkeeping functions, but this is not actually needed, since the generic coding means that it is dense that any new set is coded.) The forcing is somewhat easier when the $\text{GCH}$ holds in the ground model, and in the general case one wants to space out the cardinals at which coding occurs. The assertion that every set is coded into the GCH pattern is named as the continuum coding axiom (CCA) in the dissertation of Jonas Reitz, who proved that this implies the ground axiom (GA). You can find further uses of the CCA in Set-theoretic geology, which also contains full details of this kind of forcing and variations.

Now, the point is that most of the usual large cardinal axioms are preserved by the $V=\HOD$ forcing, by the usual lifting arguments as for GCH. Thus, all the main large cardinals are relatively consistent with $V=\HOD$.

There are many other coding methods besides coding into the GCH pattern. Andrew Brooke-Taylor, for example, undertook coding in the $\Diamond^*_\kappa$ pattern, which allows one to force $V=\HOD+\text{GCH}$ while preserving all the usual large cardinal notions. His paper Large Cardinals and Definable Well-Orderings of the Universe exactly fits the theme of this question. See also my paper The wholeness axiom and $V=\HOD$, which is about precisely this problem in the case of the Wholeness axiom and related large cardinals.

added 145 characters in body
Source Link
Joel David Hamkins
  • 236.2k
  • 44
  • 777
  • 1.4k

$\newcommand\HOD{\text{HOD}}$

Almost all the large cardinal properties are relatively consistent with $V=\HOD$. This is generally proved by forcing, since there are numerous easy and natural ways to force $V=\HOD$.

One easy way to force $V=\HOD$ is to force so as to code every set in the pattern of GCH on the cardinals. Basically, one undertakes a forcing iteration that at each cardinal stage decides generically whether to force the GCH at that cardinal or not; in other words, one uses the lottery sum of two posets, one of which forces the GCH there and the other of which forces a failure of GCH there. In the extension, a simple density argument shows that every set is coded into the GCH pattern, and so we get $V=\HOD$. (The general idea of this kind of coding is due originally to McAloon, although he used a different method. Many authors describe the coding with bookkeeping functions, but this is not actually needed, since the generic coding means that it is dense that any new set is coded.) The assertion that every set is coded into the GCH pattern is named as the continuum coding axiom (CCA) in the dissertation of Jonas Reitz, who proved that this implies the ground axiom (GA). You can find further uses of the CCA in Set-theoretic geology, which also contains full details of this kind of forcing and variations.

Now, the point is that most of the usual large cardinal axioms are preserved by the $V=\HOD$ forcing, by the usual lifting arguments as for GCH. Thus, all the main large cardinals are relatively consistent with $V=\HOD$.

There are many other coding methods besides coding into the GCH pattern. Andrew Brooke-Taylor, for example, undertook coding in the $\Diamond^*_\kappa$ pattern, which allows one to force $V=\HOD+\text{GCH}$ while preserving all the usual large cardinal notions. His paper Large Cardinals and Definable Well-Orderings of the Universe exactly fits the theme of this question.

$\newcommand\HOD{\text{HOD}}$

Almost all the large cardinal properties are relatively consistent with $V=\HOD$. This is generally proved by forcing, since there are numerous easy and natural ways to force $V=\HOD$.

One easy way to force $V=\HOD$ is to force so as to code every set in the pattern of GCH on the cardinals. Basically, one undertakes a forcing iteration that at each cardinal stage decides generically whether to force the GCH at that cardinal or not; in other words, one uses the lottery sum of two posets, one of which forces the GCH there and the other of which forces a failure of GCH there. In the extension, a simple density argument shows that every set is coded into the GCH pattern, and so we get $V=\HOD$. (The general idea of this kind of coding is due originally to McAloon, although he used a different method. Many authors describe the coding with bookkeeping functions, but this is not actually needed, since the generic coding means that it is dense that any new set is coded.) The assertion that every set is coded into the GCH pattern is named as the continuum coding axiom (CCA) in the dissertation of Jonas Reitz, who proved that this implies the ground axiom (GA). You can find further uses of the CCA in Set-theoretic geology, which also contains full details of this kind of forcing and variations.

Now, the point is that most of the usual large cardinal axioms are preserved by the $V=\HOD$ forcing, by the usual lifting arguments as for GCH. Thus, all the main large cardinals are relatively consistent with $V=\HOD$.

There are many other coding methods besides coding into the GCH pattern. Andrew Brooke-Taylor, for example, undertook coding in the $\Diamond^*_\kappa$ pattern, which allows one to force $V=\HOD+\text{GCH}$ while preserving all the usual large cardinal notions.

$\newcommand\HOD{\text{HOD}}$

Almost all the large cardinal properties are relatively consistent with $V=\HOD$. This is generally proved by forcing, since there are numerous easy and natural ways to force $V=\HOD$.

One easy way to force $V=\HOD$ is to force so as to code every set in the pattern of GCH on the cardinals. Basically, one undertakes a forcing iteration that at each cardinal stage decides generically whether to force the GCH at that cardinal or not; in other words, one uses the lottery sum of two posets, one of which forces the GCH there and the other of which forces a failure of GCH there. In the extension, a simple density argument shows that every set is coded into the GCH pattern, and so we get $V=\HOD$. (The general idea of this kind of coding is due originally to McAloon, although he used a different method. Many authors describe the coding with bookkeeping functions, but this is not actually needed, since the generic coding means that it is dense that any new set is coded.) The assertion that every set is coded into the GCH pattern is named as the continuum coding axiom (CCA) in the dissertation of Jonas Reitz, who proved that this implies the ground axiom (GA). You can find further uses of the CCA in Set-theoretic geology, which also contains full details of this kind of forcing and variations.

Now, the point is that most of the usual large cardinal axioms are preserved by the $V=\HOD$ forcing, by the usual lifting arguments as for GCH. Thus, all the main large cardinals are relatively consistent with $V=\HOD$.

There are many other coding methods besides coding into the GCH pattern. Andrew Brooke-Taylor, for example, undertook coding in the $\Diamond^*_\kappa$ pattern, which allows one to force $V=\HOD+\text{GCH}$ while preserving all the usual large cardinal notions. His paper Large Cardinals and Definable Well-Orderings of the Universe exactly fits the theme of this question.

Source Link
Joel David Hamkins
  • 236.2k
  • 44
  • 777
  • 1.4k

$\newcommand\HOD{\text{HOD}}$

Almost all the large cardinal properties are relatively consistent with $V=\HOD$. This is generally proved by forcing, since there are numerous easy and natural ways to force $V=\HOD$.

One easy way to force $V=\HOD$ is to force so as to code every set in the pattern of GCH on the cardinals. Basically, one undertakes a forcing iteration that at each cardinal stage decides generically whether to force the GCH at that cardinal or not; in other words, one uses the lottery sum of two posets, one of which forces the GCH there and the other of which forces a failure of GCH there. In the extension, a simple density argument shows that every set is coded into the GCH pattern, and so we get $V=\HOD$. (The general idea of this kind of coding is due originally to McAloon, although he used a different method. Many authors describe the coding with bookkeeping functions, but this is not actually needed, since the generic coding means that it is dense that any new set is coded.) The assertion that every set is coded into the GCH pattern is named as the continuum coding axiom (CCA) in the dissertation of Jonas Reitz, who proved that this implies the ground axiom (GA). You can find further uses of the CCA in Set-theoretic geology, which also contains full details of this kind of forcing and variations.

Now, the point is that most of the usual large cardinal axioms are preserved by the $V=\HOD$ forcing, by the usual lifting arguments as for GCH. Thus, all the main large cardinals are relatively consistent with $V=\HOD$.

There are many other coding methods besides coding into the GCH pattern. Andrew Brooke-Taylor, for example, undertook coding in the $\Diamond^*_\kappa$ pattern, which allows one to force $V=\HOD+\text{GCH}$ while preserving all the usual large cardinal notions.