Title of article
Ken Kunen: Algebraist
Author/Authors
Kinyon، نويسنده , , Michael، نويسنده ,
Issue Information
دوماهنامه با شماره پیاپی سال 2011
Pages
5
From page
2468
To page
2472
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
Moufang loops , Conjugacy closed loops , Quasigroups , loops , Automated reasoning
Journal title
Topology and its Applications
Serial Year
2011
Journal title
Topology and its Applications
Record number
1583117
Link To Document