Pell Equations and Weak Regularity Principles
C Cornaros - Conference on Computability in Europe, 2008 - Springer
C Cornaros
Conference on Computability in Europe, 2008•SpringerWe 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Δ 0+ exp.
(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Δ 0+ exp.
Abstract
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 to IΔ 0 + exp.
Springer
Showing the best result for this search. See all results