The following pages link to (Q3901517):
Displaying 6 items.
- Hilbert's tenth problem for weak theories of arithmetic (Q685070) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Diophantine equations in fragments in arithmetic (Q1112811) (← links)
- The joint embedding property in normal open induction (Q1210354) (← links)
- Diophantine problems over tamely ramified fields (Q2109050) (← links)
- Factorization in generalized power series (Q4699622) (← links)
