Bounded existential induction

DOI10.2307/2273790MaRDI QIDQ3772192zbMATH OpenOpenAlexFDO

Authors George Wilmers

Publication date 1985

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273790

zbMATH Keywords

bounded arithmeticPresburger arithmeticmodels of arithmeticrecursively saturated modelsrecursive modelsarithmetic with bounded existential inductionParis-Wilkie's \(\Delta _ 0\)-hierarchy

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• On the structure of models of bounded $E\sb 1$-induction
• Real closures of models of weak arithmetic
• Diophantine induction
• L'arithmétique ouverte et ses modèles non-standards
• End-extending models of $IΔ_0 + exp + ΒΣ_1$

Cited in

(24)

• 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
• A note on recursive models of set theories
• The joint embedding property in normal open induction
• Well-behaved principles alternative to bounded induction
• Nonstandard Models for a Fragment of the Arithmetic and Their Decision Problem
• Toward the limits of the Tennenbaum phenomenon
• Bounded recursively enumerable sets and degrees
• Parity Games and Propositional Proofs
• Fermat's last theorem and Bezout's theorem in GCD domains
• On the diophantine equation \(x^{10}{\pm{}}y^{10}=z^ 2\)
• Hilbert's tenth problem for weak theories of arithmetic
• Pell equations and exponentiation in fragments of arithmetic
• An analysis of Tennenbaum's theorem in constructive type theory
• A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
• On the structure of models of bounded $E\sb 1$-induction
• 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}
• Diophantine induction
• Overspill and fragments of arithmetic
• The Skolem-Bang theorems in ordered fields with an IP
• Algebraic combinatorics in bounded induction
• Real closures of models of weak arithmetic
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
• Pell Equations and Weak Regularity Principles
• On a Problem of J. Paris

This page was built for publication: Bounded existential induction

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