The following pages link to Undecidability in Number Theory (Q5256624):
Displaying 13 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)
- Some proofs of undecidability of arithmetic (Q3237141) (← links)
- Large Numbers and Unprovable Theorems (Q3325721) (← links)
- (Q3831079) (← links)
- Undecidability of the Spectral Gap (Q5084676) (← 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)
- Defining \(\mathbb{Z}\) using unit groups (Q6595585) (← links)
- A survey of local-global methods for Hilbert's tenth problem (Q6611633) (← links)
