[FOM] precise consistency strength of the ramified Principia

Rupert McCallum rupertmccallum at yahoo.com
Thu Mar 27 06:53:38 EDT 2014

Previous message: [FOM] Mathematical Depth Workshop, UC-Irvine, April 11th and 12th
Next message: [FOM] 2nd Call for Papers: Classical Logic & Computation 2014
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I have heard it said that the precise consistency strength of the ramified Principia (ramified theory of types with axiom of infinity) is known, does anyone have a reference for this.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140327/3b1fa4d4/attachment.html>

Previous message: [FOM] Mathematical Depth Workshop, UC-Irvine, April 11th and 12th
Next message: [FOM] 2nd Call for Papers: Classical Logic & Computation 2014
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the FOM mailing list