Computability in Europe 2008
Logic and Theory of Algorithms
|Slot:||Thu, 11:00-11:20, Room 19 (col. 5)|
We study the strength of weak forms of the Regularity Principle in the presence of $IE_1$ (induction on bounded existential formulas) relative to other subsystems of $PA$. In particular, the Bounded Weak Regularity Principle is formulated, and it is shown that when applied to $E_1$ formulas, this principle is equivalent over $IE_1^-$ to $I\Delta_0+exp$.
|websites: Arnold Beckmann||2008-05-19|