The Woods-Erdös conjecture for polynomial rings


The elementary theories of polynomial rings over *nite *elds with the coprimeness predicate and two kinds of “successor” functions are studied. It is proved that equality is de*nable in these languages. This gives an a1rmative answer to the polynomial analogue of the Woods– Erd$ os conjecture. It is also proved that these theories are undecidable. c © 2002… (More)
DOI: 10.1016/S0168-0072(01)00065-3