Pell Equations and Weak Regularity Principles

DOI10.1007/978-3-540-69407-6_14zbMath1143.03029OpenAlexW1505440416MaRDI QIDQ3507426

Ch. Cornaros

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_14

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Unnamed Item
• Unnamed Item
• Diophantine induction
• The Skolem-Bang theorems in ordered fields with an IP
• Pell equations and exponentiation in fragments of arithmetic
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• The Pigeonhole Principle and Fragments of Arithmetic
• Bounded existential induction
• Parameter-Free Universal Induction
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction

This page was built for publication: Pell Equations and Weak Regularity Principles