Ken Kunen: Algebraist
classification
🧮 math.HO
keywords
algebraalgebraistaprilautomateddeductiondescribesexpandedgave
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.