Difference between revisions of "Talk:Huge"
Eaglgenes101 (Talk | contribs) (Created page with "== $\omega$-almost hugeness underexplored? == The page briefly mentions the $\omega$-almost huge cardinals, but then immediately moves on to $\omega$-huge cardinals without m...") |
Eaglgenes101 (Talk | contribs) (Amateur analysis...) |
||
Line 1: | Line 1: | ||
== $\omega$-almost hugeness underexplored? == | == $\omega$-almost hugeness underexplored? == | ||
− | The page briefly mentions the $\omega$-almost huge cardinals, but then immediately moves on to $\omega$-huge cardinals without mentioning anything about the properties or possibility/impossibility of $\omega$-almost huge cardinals. Furthermore, none of the other pages in this wiki make any mention of $\omega$-almost hugeness. Is it consistent for them to exist, how strong are they, and is it known how they relate to other large cardinals? | + | The page briefly mentions the $\omega$-almost huge cardinals, but then immediately moves on to $\omega$-huge cardinals without mentioning anything about the properties or possibility/impossibility of $\omega$-almost huge cardinals. Furthermore, none of the other pages in this wiki make any mention of $\omega$-almost hugeness. Is it consistent for them to exist, how strong are they, and is it known how they relate to other large cardinals? [[User:Eaglgenes101|Eaglgenes101]] ([[User talk:Eaglgenes101|talk]]) 14:23, 27 April 2019 (PDT) |
− | [[User:Eaglgenes101|Eaglgenes101]] ([[User talk:Eaglgenes101|talk]]) | + | So I thought about it a bit. The first fixed point of the elementary embedding $j$ above $crit(j)$ is the supremum of all of $crit(j)$, $j(crit(j))$, $j^2(crit(j))$, $j^3(crit(j))$, etc..., and said iterates of $j$ form a cofinal set of $j^\omega(crit(j))$. So for any $\alpha < j^\omega(crit(j))$, there is some whole number $n$ such that $j^n(crit(j)) > \alpha$. If I reasoned correctly, this means that $\omega$-almost hugeness is equivalent to $n$-hugeness for all whole number $n$, which is known to be perfectly consistent at least relative to an $I3$ cardinal. [[User:Eaglgenes101|Eaglgenes101]] ([[User talk:Eaglgenes101|talk]]) 08:26, 29 April 2019 (PDT) |
Revision as of 08:26, 29 April 2019
$\omega$-almost hugeness underexplored?
The page briefly mentions the $\omega$-almost huge cardinals, but then immediately moves on to $\omega$-huge cardinals without mentioning anything about the properties or possibility/impossibility of $\omega$-almost huge cardinals. Furthermore, none of the other pages in this wiki make any mention of $\omega$-almost hugeness. Is it consistent for them to exist, how strong are they, and is it known how they relate to other large cardinals? Eaglgenes101 (talk) 14:23, 27 April 2019 (PDT)
So I thought about it a bit. The first fixed point of the elementary embedding $j$ above $crit(j)$ is the supremum of all of $crit(j)$, $j(crit(j))$, $j^2(crit(j))$, $j^3(crit(j))$, etc..., and said iterates of $j$ form a cofinal set of $j^\omega(crit(j))$. So for any $\alpha < j^\omega(crit(j))$, there is some whole number $n$ such that $j^n(crit(j)) > \alpha$. If I reasoned correctly, this means that $\omega$-almost hugeness is equivalent to $n$-hugeness for all whole number $n$, which is known to be perfectly consistent at least relative to an $I3$ cardinal. Eaglgenes101 (talk) 08:26, 29 April 2019 (PDT)