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 \(IE_1^-\) to IΔ 0 + exp.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
D’Aquino, P.: Pell equations and exponentiation in fragments of arithmetic, Ann. Pure Appl. Logic 77, 1–34 (1996)
Ayat, S.M.: The Skolem-Bang Theorems in Ordered Fields with an IP, arxiv.org/abs/0705.3356
Beklemishev, L.D., Visser, A.: On the limit existence principles in elementary arithmetic and \(\Sigma^0_n\)-consequences of theories. Ann. Pure Appl. Logic 136, 56–74 (2005)
Dimitracopoulos, C., Paris, J.: The pigeonhole principle and fragments of arithmetic. Z. Math. Logik Grundlag. Math. 32, 73–80 (1986)
Hájek, P., Pudlák, P.: Metamathematics of first-order arithmetic. Springer, Berlin (1993)
Kaye, R.: Diophantine induction and parameter-free induction, Ph. D. Dissertation, Manchester (1987)
Kaye, R.: Parameter-free universal induction. Z. Math. Logik Grundlag. Math. 35, 443–456 (1989)
Kaye, R.: Diophantine induction. Ann. Pure Appl. Logic 46, 1–40 (1990)
Slaman, T.: Σ n -bounding and Δ n -induction. Proc. Amer. Math. Soc. 132, 2449–2456 (2004)
Wilmers, G.: Bounded existential induction. J. Symbolic Logic 50, 72–90 (1985)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cornaros, C. (2008). Pell Equations and Weak Regularity Principles. In: Beckmann, A., Dimitracopoulos, C., Löwe, B. (eds) Logic and Theory of Algorithms. CiE 2008. Lecture Notes in Computer Science, vol 5028. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69407-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-69407-6_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69405-2
Online ISBN: 978-3-540-69407-6
eBook Packages: Computer ScienceComputer Science (R0)