Maximal ideals in countable rings, constructively

Ingo Blechschmidt, Peter Schuster

The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the rel…