[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