Ken Kunen: Algebraist
arXiv:1108.3658
Abstract
This paper is a greatly expanded version of a talk I gave in April 2009 at KunenFest. It describes Ken's work in algebra, particularly using automated deduction tools.
7 pages, to appear in a special issue of Topology and its Applications in honor of Ken Kunen