scientific article
From MaRDI portal
Publication:3895478
zbMath0449.03076MaRDI QIDQ3895478
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
universal theorytrue arithmeticalgebraic characterizationweak systems of arithmeticopen consequencesfull open induction axiomsinduction rules and axiomsinduction scheme for universal formulaetrue universal sentencesuniversal consequences
Related Items (17)
On the scheme of induction for bounded arithmetic formulas ⋮ Division by zero ⋮ Diophantine equations in fragments in arithmetic ⋮ Primes and their residue rings in models of open induction ⋮ Real closures of models of weak arithmetic ⋮ Discrete orderings in the real spectrum ⋮ Bootstrapping. I ⋮ Limit computable integer parts ⋮ Fermat's last theorem and Bezout's theorem in GCD domains ⋮ Hilbert's tenth problem for weak theories of arithmetic ⋮ The joint embedding property in normal open induction ⋮ Fragments of Arithmetic and true sentences ⋮ Independence results for variants of sharply bounded induction ⋮ Diophantine induction ⋮ Factorization in generalized power series ⋮ Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) ⋮ Erratum to: ``Limit computable integer parts
This page was built for publication:
