论文信息 - Ken Kunen: Algebraist

Ken Kunen: Algebraist

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.

Michael Kinyon | Michael K. Kinyon

[1] R. H. Bruck,et al. Loops Whose Inner Mappings are Automorphisms , 1956 .

[2] J. Osborn. A theorem on $A$-loops , 1958 .

[3] Kenneth Kunen. Single axioms for groups , 2004, Journal of Automated Reasoning.

[4] K. Kunen. The structure of conjugacy closed loops , 2000 .

[5] Kenneth Kunen,et al. The structure of extra loops , 2004 .

[6] R. H. Bruck. A Survey of Binary Systems , 1971 .

[7] William McCune,et al. Solution of the Robbins Problem , 1997, Journal of Automated Reasoning.

[8] Kenneth Kunen. G-Loops and Permutation Groups☆ , 1999 .

[9] Kenneth Kunen,et al. Every diassociative A-loop is Moufang , 2000 .

[10] Kenneth Kunen,et al. Power-associative, conjugacy closed loops , 2005 .

[11] E. G. Goodaire,et al. A Class of Loops Which are Isomorphic to all Loop Isotopes , 1982, Canadian Journal of Mathematics.

[12] Kenneth Kunen,et al. Diassociativity in Conjugacy Closed Loops , 2002, math/0209279.

[13] Kenneth Kunen,et al. The shortest single axioms for groups of exponent 4 , 1995 .

[14] K. Kunen,et al. A Generalization of Moufang and Steiner Loops , 2001, math/0105015.

[15] Kenneth Kunen,et al. Alternative loop rings , 1998 .

[16] Hantao Zhang,et al. SEM: a System for Enumerating Models , 1995, IJCAI.

[17] Kenneth Kunen,et al. Single axioms for odd exponent groups , 2004, Journal of Automated Reasoning.

[18] Kenneth Kunen,et al. Quasigroups, Loops, and Associative Laws , 1996 .