Abstract
We study the arithmetical schema asserting that every eventually
decreasing primitive recursive function has a limit. Some other related
principles are also formulated. We establish their relationship with
restricted parameter-free induction schemata.
Using these results we show that ILM is the logic of II1-conservativity
of any reasonable extension of parameter-free II1-induction schema.
This result, however, cannot
... read more