The following pages link to Diophantine induction (Q584258):
Displayed 12 items.
- 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)
- 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)
- A note on exponentiation (Q5287679) (← links)
- Weak arithmetics (Q5941252) (← links)
- Weak arithmetic (Q5941732) (← links)