May 10
Alf Dolich,
CUNY
The decidability of the rings Z/mZ
In this expository talk I will discuss recent work of Derakhshan and Macintyre on the decidability of the common theory of the rings Z/mZ as m varies through the natural numbers m>1.
May 10
Alf Dolich,
CUNY
The decidability of the rings Z/mZ
In this expository talk I will discuss recent work of Derakhshan and Macintyre on the decidability of the common theory of the rings Z/mZ as m varies through the natural numbers m>1.