Ken Kunen: Algebraist |
| |
| Authors: | Michael Kinyon |
| |
| Institution: | Department of Mathematics, University of Denver, 2360 S. Gaylord St., Denver, CO 80208, USA |
| |
| Abstract: | Although better known as a set theorist, Ken Kunen did important work in algebra, particularly in quasigroup theory and loop theory. This paper describes some of this work, especially his use of automated deduction tools, with a lot of attention given to projects done in collaboration with the author. |
| |
| Keywords: | Automated reasoning Loops Quasigroups Moufang loops Conjugacy closed loops |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
