2 papers
math.HO2011
Ken Kunen: Algebraist
Michael Kinyon
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.
math.GR2007
Buchsteiner loops
Piroska Csorgo, Ales Drapal, Michael K. Kinyon
Buchsteiner loops are those which satisfy the identity . We show that a Buchsteiner loop modulo its nucleus is an abelian group of expon…