Ken Kunen: algebraist.

DOI10.1016/J.TOPOL.2011.08.009MaRDI QIDQ649602zbMATH OpenOpenAlexFDO

Authors Michael K. Kinyon

Publication date 2 December 2011

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1108.3658

zbMATH Keywords

automated reasoningquasigroupsMoufang loopsfinite loopsconjugacy closed loops

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Model-theoretic algebra (03C60) History of group theory (20-03) Loops, quasigroups (20N05)

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.

Recommendations

• scientific article; zbMATH DE number 554842
• Ken Kunen, the set-theoretic topologist
• Fujita's algebra.

Cites work

• scientific article; zbMATH DE number 2144157 (Why is no real title available?)
• scientific article; zbMATH DE number 3328200 (Why is no real title available?)
• A Class of Loops Which are Isomorphic to all Loop Isotopes
• A Theorem on A-Loops
• A generalization of Moufang and Steiner loops.
• Alternative loop rings
• Diassociativity in Conjugacy Closed Loops
• Every diassociative \(A\)-loop is Moufang
• Loops whose inner mappings are automorphisms
• Moufang quasigroups
• Power-associative, conjugacy closed loops.
• Quasigroups, loops, and associative laws
• Single axioms for groups
• Single axioms for odd exponent groups
• Solution of the Robbins problem
• The shortest single axioms for groups of exponent 4
• The structure of conjugacy closed loops
• \(G\)-loops and permutation groups

Cited in

(2)

• Ken Kunen, the set-theoretic topologist
• Kunen the expositor

Describes a project that uses

Uses Software

• OTTER
• Prover9
• Mace4

This page was built for publication: Ken Kunen: algebraist.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q649602)