MPI-I-94-234. July 1994, 14 pages. | Status: available - back from printing | Next --> Entry | Previous <-- Entry
Abstract in LaTeX format:
We extend arithmetic with a new predicate $Pr$, giving axioms for it
based on first order versions of L\"ob's derivability conditions. We
hoped that the addition of a reflection schema mentioning $Pr$ would
then give a non-conservative extension of the original arithmetic
theory. The paper investigates this possiblity. It is shown that,
under special conditions, the extension is indeed non-conservative.
However in general such extensions turn out to be conservative.
Categories / Keywords: Proof theory, reflection
References to related material:
|To download this research report, please select the type of document that fits best your needs.||Attachement Size(s):|
|Please note: If you don't have a viewer for PostScript on your platform, try to install GhostScript and GhostView|