Ken Kunen: Algebraist
History and Overview
2012-10-01 v1
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.
Cite
@article{arxiv.1108.3658,
title = {Ken Kunen: Algebraist},
author = {Michael Kinyon},
journal= {arXiv preprint arXiv:1108.3658},
year = {2012}
}
Comments
7 pages, to appear in a special issue of Topology and its Applications in honor of Ken Kunen