[FOM] Improving the new axiom
MartDowd at aol.com
MartDowd at aol.com
Wed Aug 14 19:34:07 EDT 2013
The new axiom for set theory can be called axiom M, and states that Ord is
$\alpha$-Mahlo for an ordinal $\alpha$, which presently is in a state of
flux. I have just completed a manuscript, available at _
www.hyperonsoft.com/chns.pdf_ (http://www.hyperonsoft.com/chns.pdf) ,
which gives the value $\Lambda_0$ for $\alpha$, where $\Lambda_0$ is the
large Veblen ordinal with base $\Ord^+$. The manuscript gives a
self-contained treatment of the infinitary Veblen function, with complete proofs of
all of Veblen's lemmas.
- Martin Dowd
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130814/9c5667fd/attachment.html>
More information about the FOM
mailing list