Jónsson Jónsson-Tarski algebras

Abstract: For an infinite algebra J in a countable algebraic language, we say J is Jónsson if it has no proper subalgebra of the same cardinality as J. This talk explores Jónsson algebras in a particular variety: the variety of Jónsson-Tarski algebras. When a Jónsson algebra of size $\aleph_1$ was constructed in this variety, it showed that minimal varieties can contain uncountable Jónsson algebras. We will describe that construction and two further results, demonstrating exactly which cardinalities are possible for Jónsson Jónsson-Tarski algebras, and how many pairwise nonisomorphic Jónsson Jónsson-Tarski algebras exist. We discuss implications for other varieties and Jónsson algebras in general.

computational complexitycategory theorylogic

Audience: researchers in the topic

PALS Panglobal Algebra and Logic Seminar

Series comments: The PALS seminar is a research and learning seminar organized by the algebra and logic research group of the Department of Mathematics at the University of Colorado at Boulder. The scope of the seminar includes all topics with links to algebra, logic, or their applications, like general algebra, logic, model theory, category theory, set theory, set-theoretic topology, or theoretical computer science. Please contact one of the organizers for the Zoom password, to join the mailing list or if you want to speak.