Processing math: 100%

We have the following indirect implication of form equivalence classes:

58 0
given by the following sequence of implications, with a reference to its direct proof:

Implication Reference
58 0

Here are the links and statements of the form equivalence classes referenced above:

Howard-Rubin Number Statement
58:

There is an ordinal α such that (2α)α+1. ((2α) is Hartogs' aleph, the least not 2α.)
Mathias [1979], p 126.

0:  0=0.

Comment:

Back