The following pages link to (Q5181353):
Displayed 5 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)