Pell Equations and Weak Regularity Principles

DOI10.1007/978-3-540-69407-6_14MaRDI QIDQ3507426zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}
• Pell equations and exponentiation in fragments of arithmetic
• Regularity in models of arithmetic
• scientific article; zbMATH DE number 4027447
• On Grzegorczyk induction

Cites work

• Bounded existential induction
• Diophantine induction
• scientific article; zbMATH DE number 4039892 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• Parameter-Free Universal Induction
• Pell equations and exponentiation in fragments of arithmetic
• The Pigeonhole Principle and Fragments of Arithmetic
• The Skolem-Bang theorems in ordered fields with an IP
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction

Cited in

(2)

• Pell equations and exponentiation in fragments of arithmetic
• Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507426)