Pages that link to "Item:Q3926549"
From MaRDI portal
The following pages link to Undecidability and Definability for the Theory of Global Fields (Q3926549):
Displayed 15 items.
- Hilbert's tenth problem for fields of rational functions over finite fields (Q910434) (← links)
- Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. (Q1427400) (← links)
- Hilbert's tenth problem for rings of rational functions (Q1430905) (← links)
- Definability of the ring of integers in pro-\(p\) Galois extensions of number fields (Q1580494) (← links)
- Relatively projective groups as absolute Galois groups (Q1611537) (← links)
- Uniformly defining \(p\)-Henselian valuations (Q2344717) (← links)
- Definability and decidability in infinite algebraic extensions (Q2349099) (← links)
- Uniform first-order definitions in finitely generated fields (Q2370123) (← links)
- Uniform existential interpretation of arithmetic in rings of functions of positive characteristic (Q2449847) (← links)
- Recursively enumerable sets of polynomials over a finite field are Diophantine (Q2464706) (← links)
- Integrality at a prime for global fields and the perfect closure of global fields of characteristic \(p > 2\) (Q2566189) (← links)
- First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0 (Q2570137) (← links)
- Definability of the ring of integers in some infinite algebraic extensions of the rationals (Q2910987) (← links)
- Infinite finitely generated fields are biinterpretable with ℕ (Q3577298) (← links)
- A construction of real closed fields (Q5258477) (← links)