Pages that link to "Item:Q2715537"
From MaRDI portal
The following pages link to An effort to prove that the existential theory of \(\mathbb Q\) is undecidable (Q2715537):
Displaying 4 items.
- Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic. (Q1427400) (← links)
- An existential divisibility lemma for global fields (Q2494371) (← links)
- Undecidability of existential theories of rings and fields: A survey (Q2715529) (← links)
- On Diophantine definability and decidability in some infinite totally real extensions of ℚ (Q4813802) (← links)