The following pages link to Undecidability in Number Theory (Q5256624):
Displayed 7 items.
- Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic (Q2352025) (← links)
- A note on the Northcott property and undecidability (Q2788653) (← links)
- Definability of the natural numbers in totally real towers of nested square roots (Q2944799) (← links)
- Undecidability of ℚ⁽²⁾ (Q5212403) (← links)
- UNIFORM DEFINABILITY OF INTEGERS IN REDUCED INDECOMPOSABLE POLYNOMIAL RINGS (Q5858916) (← links)
- Axiomatizing the existential theory of \(\mathbb{F}_q((t))\) (Q6142637) (← links)
- Definability and decidability for rings of integers in totally imaginary fields (Q6148055) (← links)