The following pages link to Diophantine induction (Q584258):
Displaying 18 items.
- Division by zero (Q335000) (← links)
- A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) (Q685068) (← links)
- Hilbert's tenth problem for weak theories of arithmetic (Q685070) (← links)
- The lengths of proofs: Kreisel's conjecture and Gödel's speed-up theorem (Q843609) (← links)
- A direct method for simulating partial recursive functions by Diophantine equations (Q1326783) (← links)
- Toward the limits of the Tennenbaum phenomenon (Q1377555) (← links)
- Pell equations and exponentiation in fragments of arithmetic (Q1919524) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Elementary equivalence for abelian-by-finite and nilpotent groups (Q2758071) (← links)
- Pell Equations and Weak Regularity Principles (Q3507426) (← links)
- Solving Pell equations locally in models of <i>I</i>Δ<sub>0</sub> (Q4212910) (← links)
- Restricted polynomial induction versus ordinary induction (Q4565103) (← links)
- 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} (Q4915222) (← links)
- Restricted polynomial induction versus parameter free ordinary induction (Q5066172) (← links)
- A note on exponentiation (Q5287679) (← links)
- Weak arithmetics (Q5941252) (← links)
- Weak arithmetic (Q5941732) (← links)
