decidability;
rational function fields;
elliptic curves;
D O I:
10.1016/j.jalgebra.2003.07.016
中图分类号:
O1 [数学];
学科分类号:
0701 ;
070101 ;
摘要:
Using the theory of elliptic curves, we develop techniques by which we prove that the theory of a function field F(t) of positive characteristic p greater than or equal to 5, in the language of rings augmented by a symbol for t, is undecidable. (C) 2004 Elsevier Inc. All rights reserved.