Computability in Europe 2008
Logic and Theory of Algorithms

Print current page  Print this page

Regular Talk:
Pell equations and weak regularity priciples

Edit abstract data

Speaker: Charalampos Cornaros
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 Valid HTML 4.01! Valid CSS!