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||
Warning: date(): It is not safe to rely on the system's timezone settings. You are *required* to use the date.timezone setting or the date_default_timezone_set() function. In case you used any of those methods and you are still getting this warning, you most likely misspelled the timezone identifier. We selected the timezone 'UTC' for now, but please set date.timezone to select your timezone. in /srv/www/htdocs-cs/cie08/conf-code.php on line 136