[FOM] Query Concerning Excluded Middle & CH

[carl at math.uni-bonn.de]

> There has been at least one theorem in number theory proved by
> showing that it follows from the Riemann hypothesis AND that it
> follows from the negation of the Riemann hypothesis, and then
> appealing to excluded middle. (See Ireland & Rosen, _A Classical
> Introduction to Modern Number Theory_ , Theorem 20.6.1.)

Could you tell me which edition of Ireland&Rosen you refer to? I wanted to
look it up, but my copy only goes up to chapter 18.

Merlin