AMCA: Semisimple varieties of BAOs by Tomasz Kowalski

Atlas Mathematical Conference Abstracts || Conferences | Abstracts | for Organizers | About AMCA

Twenty First Victorian Algebra Conference with Workshop on Universal Algebraic Techniques in Semigroup Theory and Algebraic Logic
September 29 - October 1, 2003
La Trobe University
Melbourne, Victoria, Australia

Organizers
Marcel Jackson, Brian Davey

View Abstracts
Conference Homepage

Semisimple varieties of BAOs
by
Tomasz Kowalski
Australian National University
Coauthors: Marcus Kracht

All discriminator varieties are semisimple. The converse is not true. I will show that for finite type varieties of Boolean algebras with operators (BAOs) the converse does hold. The proof can be modified to show that the same phenomenon occurs in certain "varieties of logic" closely related to residuated lattices. This suggests that there may be some universal-algebraic property operative in the background.

Date received: August 22, 2003

Copyright © 2003 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Mathematical Conference Abstracts. Document # cala-07.