[FOM] I-Sigma_1

MartDowd at aol.com MartDowd at aol.com
Mon Sep 23 14:02:56 EDT 2013

I'm trying to track down basic references on $I\Sigma_1$ arithmetic:  
provably total functions, provable well orders, comparison to primitive  
recursive arithmetic, comparison to KP.  Does anyone have any  suggestions?  Send 
them to my email below.
Martin Dowd
_martdowd at aol.com_ (mailto:martdowd at aol.com) 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130923/3e4ad286/attachment.html>

More information about the FOM mailing list