Ken Kunen: algebraist. (Q649602)

The author describes some work in algebra, particularly in quasigroups and loop theory, by Ken Kunen. He describes especially the use of automated deduction tools, with a lot of attention given to projects done in collaboration with him. According to the author Ken's approach to algebra utilized automated deduction tools and finite model builders. The finite model builder Ken used during the period the author discusses was SEM [see \textit{J. Zhang; H. Zhang}, SEM: a system for enumerating models, Proc. of International Joint Conference on Artificial Intelligence (IJCAI-95), Montréal, August, 11-18 (1995)].