Weak forms of the Regularity Principle in the presence of IE1

作者：Cornaros Charalampos^*

来源：Mathematical Logic Quarterly, 2013, 59(1-2): 84-100.

DOI：10.1002/malq.201100100

• Regularity Principle
• Pell equation
• limit schemata
• MSC (2010) 03F30

We study the strength of weak forms of the Regularity Principle in the presence of IE1 (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 IE1- to vertical bar Delta 0+exp.

• 出版日期2013-2