Ken Kunen: algebraist.

DOI10.1016/J.TOPOL.2011.08.009zbMATH Open1236.20065arXiv1108.3658OpenAlexW2052711330MaRDI QIDQ649602FDOQ649602

Authors: Michael K. Kinyon 

Publication date: 2 December 2011

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

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.

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

Recommendations

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

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)

Cites Work

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

Cited In (2)

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

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)