| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4659133 | Topology and its Applications | 2011 | 5 Pages |
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Geometry and Topology
