Diophantine induction
From MaRDI portal
Publication:584258
DOI10.1016/0168-0072(90)90076-EzbMath0693.03038MaRDI QIDQ584258
Publication date: 1990
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(90)90076-e
induction; countable nonstandard models; diophantine formulas without parameters; Matijasevič's theorem; subsystem of Peano arithmetic
Related Items
Restricted polynomial induction versus ordinary 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}, Restricted polynomial induction versus parameter free ordinary induction, A note on exponentiation, Weak arithmetics, Weak arithmetic, Division by zero, 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, The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem, A direct method for simulating partial recursive functions by Diophantine equations, Toward the limits of the Tennenbaum phenomenon, Pell equations and exponentiation in fragments of arithmetic, Algebraic combinatorics in bounded induction, Induction rules in bounded arithmetic, Elementary equivalence for abelian-by-finite and nilpotent groups, Pell Equations and Weak Regularity Principles, Solving Pell equations locally in models of IΔ0
Cites Work