[FOM] I-Sigma_1

[MartDowd at aol.com]

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.
 
Thanks,
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>