Diophantine induction

DOI10.1016/0168-0072(90)90076-EMaRDI QIDQ584258zbMATH OpenOpenAlexFDO

Authors Richard Kaye

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

zbMATH Keywords

inductioncountable nonstandard modelsdiophantine formulas without parameterssubsystem of Peano arithmeticMatijasevič's theorem

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 4027447
• scientific article; zbMATH DE number 4075046
• scientific article; zbMATH DE number 871422
• On the structure of models of bounded $E\sb 1$-induction
• Bounded existential induction

Cites work

• scientific article; zbMATH DE number 4006252 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 3702663 (Why is no real title available?)
• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 3248030 (Why is no real title available?)
• Bounded existential induction
• Existence and feasibility in arithmetic
• Existential Definability in Arithmetic
• On parameter free induction schemas
• On the complexity of models of arithmetic
• On the structure of models of bounded $E\sb 1$-induction

Cited in

(25)

• Weak arithmetics
• Weak arithmetic
• scientific article; zbMATH DE number 3961605 (Why is no real title available?)
• scientific article; zbMATH DE number 3931005 (Why is no real title available?)
• A direct method for simulating partial recursive functions by Diophantine equations
• The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem
• Toward the limits of the Tennenbaum phenomenon
• Restricted polynomial induction versus parameter free ordinary induction
• Hilbert's tenth problem for weak theories of arithmetic
• Pell equations and exponentiation in fragments of arithmetic
• Solving Pell equations locally in models of IΔ₀
• A note on exponentiation
• scientific article; zbMATH DE number 4027447 (Why is no real title available?)
• 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
• 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}
• Diophantine equations in fragments in arithmetic
• Elementary equivalence for Abelian-by-finite and nilpotent groups.
• Algebraic combinatorics in bounded induction
• Division by zero
• Pell Equations and Weak Regularity Principles
• Induction rules in bounded arithmetic
• Bounded existential induction
• scientific article; zbMATH DE number 4075046 (Why is no real title available?)

This page was built for publication: Diophantine induction

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