The following pages link to (Q5181353):
Displaying 7 items.
- The Diophantine Problem for Polynomial Rings and Fields of Rational Functions (Q4182609) (← links)
- Recent progress on definability of Henselian valuations (Q4635361) (← links)
- Undecidability of ℚ⁽²⁾ (Q5212403) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)
- Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) (Q6142637) (← links)
- A survey of local-global methods for Hilbert's tenth problem (Q6611633) (← links)
- Ax-Kochen-Ershov principles for finitely ramified Henselian fields (Q6631321) (← links)