SEARCH

SEARCH BY CITATION

Keywords:

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

Abstract

We study the strength of weak forms of the Regularity Principle in the presence of equation image (induction on bounded existential formulas) relative to other subsystems of equation image. In particular, the Bounded Weak Regularity Principle is formulated, and it is shown that when applied to E1 formulas, this principle is equivalent over equation image to equation image.