Re: math : inaccessible cardinal



On 2008-03-30, amy666 <tommy1729@xxxxxxxxxxx> wrote:
to go from aleph_x to aleph_(x+1) we do the operation
"2^".

You might, but we don't. To go from aleph_x to aleph_(x+1) we take
the least ordinal of greater cardinality than aleph_x. The powerset
axiom is useful for showing that such a thing exists, but the powerset
operation isn't part of the definition itself.


what do we need to do to get from aleph_aleph_0 to
aleph_aleph_1. ???

Aleph_alpha is defined for all ordinals alpha. See e.g.
http://en.wikipedia.org/wiki/Aleph_number#Aleph-.CE.B1_for_general_.CE.B1

Both aleph_0 and aleph_1 are infinite limit ordinals, so substitute
into the appropriate definition.


amy

well ?

"well" what? Once again you're "quoting" an article that doesn't seem
to be on my news servers, and isn't referenced in the headers of your
post. If you ever made such a post, it could have been on some
private site for all I can tell. If you want a reply here on Usenet,
post the original message here on Usenet.


- Tim
.



Relevant Pages

  • Re: 2^ aleph_x =/= aleph(x+1) according to tim ???
    ... but the powerset ... Both aleph_0 and aleph_1 are infinite limit ordinals, ... if so -> aleph_god exists, ... do you consider god or aleph_god an axiom or unproven, ...
    (sci.math)
  • Re: An uncountable countable set
    ... consider the formation of the ordinals where the powerset of the ... proofs, or as I call them results, about functions between the naturals ... and reals or naturals and powerset of reals. ...
    (sci.math)
  • 2^ aleph_x =/= aleph(x+1) according to tim ???
    ... but the powerset ... Aleph_alpha is defined for all ordinals alpha. ... just substitute god. ... do you consider god or aleph_god an axiom or unproven, ...
    (sci.math)
  • Re: 2^ aleph_x =/= aleph(x+1) according to tim ???
    ... but the powerset ... Aleph_alpha is defined for all ordinals alpha. ... just substitute god. ... do you consider god or aleph_god an axiom or unproven, ...
    (sci.math)
  • Re: An uncountable countable set
    ... consider the formation of the ordinals where the powerset of the ... proofs, or as I call them results, about functions between the naturals ... and reals or naturals and powerset of reals. ...
    (sci.math)