TL;DR
This paper reviews Ken Kunen's contributions to algebra, emphasizing his use of automated deduction tools, and provides an expanded account of his work presented at KunenFest 2009.
Contribution
It offers a comprehensive overview of Ken Kunen's algebraic research and highlights his innovative application of automated deduction tools in the field.
Findings
Ken Kunen made significant algebraic contributions.
Automated deduction tools played a key role in his work.
The paper expands on his research presented at KunenFest 2009.
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics and Applications · History and Theory of Mathematics · graph theory and CDMA systems