12/02/2014, 02:40 PM
I'm not really sure that is that easy...
The problem is that cardinals and ordinals are different and we need a good recursive definition of the tetration over the cardinals.
I mean, is true that \( \aleph_0 =\omega \) but we have also that every transfinite ordinal below \( \omega_1 \) is countable and thus has cardinality \( \aleph_0 \)
\( |\omega+1|=\aleph_0 \)
and I guess that we always have
\( |\omega\uparrow{}^{\alpha}\omega|=\aleph_0 \)
For example, all the epsilon ordinals are countable.
Back to the topic. Tommy, when you say inaccessible ordinal you mean "strongly inaccesible" cardinals right? The ones that give us models of ZFC?
I don't even understand how you can take the natural logarithm of a cardinal number...
Note also that cardinal and ordinal exponentiation aren't the same.
The problem is that cardinals and ordinals are different and we need a good recursive definition of the tetration over the cardinals.
I mean, is true that \( \aleph_0 =\omega \) but we have also that every transfinite ordinal below \( \omega_1 \) is countable and thus has cardinality \( \aleph_0 \)
\( |\omega+1|=\aleph_0 \)
and I guess that we always have
\( |\omega\uparrow{}^{\alpha}\omega|=\aleph_0 \)
For example, all the epsilon ordinals are countable.
Back to the topic. Tommy, when you say inaccessible ordinal you mean "strongly inaccesible" cardinals right? The ones that give us models of ZFC?
I don't even understand how you can take the natural logarithm of a cardinal number...
Note also that cardinal and ordinal exponentiation aren't the same.
Mother Law \(\sigma^+\circ 0=\sigma \circ \sigma^+ \)
\({\rm Grp}_{\rm pt} ({\rm RK}J,G)\cong \mathbb N{\rm Set}_{\rm pt} (J, \Sigma^G)\)
