Bounded existential induction
From MaRDI portal
Publication:3772192
DOI10.2307/2273790zbMath0634.03029OpenAlexW1982001540MaRDI QIDQ3772192
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
bounded arithmeticmodels of arithmeticPresburger arithmeticrecursively saturated modelsrecursive modelsarithmetic with bounded existential inductionParis-Wilkie's \(\Delta _ 0\)-hierarchy
Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Computable structure theory, computable model theory (03C57)
Related Items (19)
Bounded recursively enumerable sets and degrees ⋮ Toward the limits of the Tennenbaum phenomenon ⋮ Pell equations and exponentiation in fragments of arithmetic ⋮ Overspill and fragments of arithmetic ⋮ Real closures of models of weak arithmetic ⋮ Parity Games and Propositional Proofs ⋮ Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts ⋮ Pell Equations and Weak Regularity Principles ⋮ A note on recursive models of set theories ⋮ Algebraic combinatorics in bounded induction ⋮ The Skolem-Bang theorems in ordered fields with an IP ⋮ Fermat's last theorem and Bezout's theorem in GCD domains ⋮ On the diophantine equation \(x^{10}{\pm{}}y^{10}=z^ 2\) ⋮ A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) ⋮ Hilbert's tenth problem for weak theories 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} ⋮ The joint embedding property in normal open induction ⋮ Diophantine induction ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
Cites Work
This page was built for publication: Bounded existential induction
