Paul Brodhead, Bjørn Kjos-Hanssen. The Strength of the Grätzer-Schmidt Theorem. In Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle, editors, Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings. Volume 5635 of Lecture Notes in Computer Science, pages 59-67, Springer, 2009. [doi]
Abstract is missing.