AMS Louisville 2013

Talks presented at the AMS Special Session on Finite Universal Algebra in Louisville, KY

View the Project on GitHub UniversalAlgebra/AMSLouisville2013

Special Session on Finite Universal Algebra

Fall Southeastern Sectional Meeting
University of Louisville, Louisville, KY
October 5-6, 2013 (Saturday - Sunday)
Meeting #1092

Room 215, Bingham Humanities, University of Louisville

At the AMS Southeastern Sectional meeting at the University of Louisville a special session on Finite Universal Algebra was organized by Ralph McKenzie and Matthew Valeriote.

You can download the abstracts and slides from the meeting to your local machine using the ZIP or TAR buttons on the left.

For Git users. If you want to suggest changes to this content, please use the GitHub button. Then fork the repository, make your changes, and submit a pull request. You can also clone the repository with the following command:

git clone

See also the official AMS special session program announcement.



Ralph McKenzie, Vanderbilt University
Matthew Valeriote, McMaster University

Saturday October 5, 2013

  1. 8:00 a.m. Permutability of abelian congruences in finitely decidable varieties.
    Matthew Smedberg, Vanderbilt University

  2. 8:30 a.m. Residually finite varieties.
    Keith A Kearnes, University of Colorado

  3. 9:00 a.m. Varieties with a difference term and Park's conjecture.
    Keith Kearnes, University of Colorado
    Agnes Szendrei, University of Colorado
    Ross Willard, University of Waterloo

  4. 9:30 a.m. How to decide absorption.
    Alexandr Kazda, Vanderbilt University

  5. 10:00 a.m. Finiteness properties of direct products.
    Peter Mayr, Johannes Kepler University Linz
    Nik Ruskuc, University of St Andrews

  6. 10:30 a.m. Dualizable algebras.
    Agnes Szendrei, University of Colorado at Boulder
    Keith A. Kearnes, University of Colorado at Boulder

  7. 3:00 p.m. Finite group properties deducible from local subgroup lattice structure.
    William DeMeo, University of South Carolina

  8. 3:30 p.m. Maltsev products of congruence permutable varieties.
    Ralph S Freese, University of Hawaii
    Ralph N McKenzie, Vanderbilt University

  9. 4:00 p.m. A Syntactic Approach to Linear Idempotent Mal'cev Conditions.
    Jonah Horowitz, Ryerson University

  10. 4:30 p.m. Space complexity of list H-coloring: a dichotomy. (withdrawn)
    L. Egri, Institute for Computer Science and Control, Hungarian Academy of Sciences
    P. Hell, School of Computer Science, Simon Fraser University
    B. Larose, Department of Mathematics and Statistics, Concordia University
    A. Rafiey, School of Computer Science, Simon Fraser University

  11. 5:00 p.m. Polymorphisms of Binary Treelike Structures.
    Dejan Delic, Ryerson University, Toronto

  12. 5:30 p.m. Finite Taylor algebras, Pointing Terms, and Cubed Elements.(moved to 4:30)
    Alexander Wires, University of Waterloo

Sunday October 6, 2013

  1. 8:00 a.m. Reflexive Relations on Lattices.
    John W. Snow, Concordia University, Nebraska
    Kalle Kaarli, University of Tartu, Estonia

  2. 8:30 a.m. Maltsev Conditions on the Feder-Vardi Reduction to Bipartite Graphs with Constants.
    Ian Payne, University of Waterloo
    Ross Willard, University of Waterloo

  3. 9:00 a.m. The Variety Generated by A(T) -- Two Counterexamples.
    Matthew D Moore, Vanderbilt University

  4. 9:30 a.m. Finite Monk algebras and equational bases defining RRA over wRRA.
    Jeremy F Alm, Illinois College
    Robin Hirsch, University College London
    Jacob Manske, Epic Systems Corporation

  5. 10:00 a.m. Spectra in sub-signatures of RA.
    Andrew J Ylvisaker, Monmouth College

  6. 10:30 a.m. Epimorphisms in certain varieties of partially ordered semigroups.
    Nasir Sohail, University of Tartu, Estonia; University of Waterloo, Canada

  7. 3:00 p.m. An orderly algorithm to enumerate (semi)modular lattices.
    Peter Jipsen, Chapman University
    Nathan Lawless, Chapman University

  8. 3:30 p.m. The order of principal congruences of a bounded lattice.(withdrawn)
    George Gratzer, University of Manitoba

  9. 4:00 p.m. The Computational Complexity of the Minimal Variety Problem.
    George F McNulty, University of South Carolina

  10. 4:30 p.m. Algebraic Terms through Simulated Evolution. (moved to 3:30)
    David M. Clark, SUNY New Paltz

Authors and Contributors

This page was created on October 12, 2013 by William DeMeo (@williamdemeo).