BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Peter Jipsen (Chapman University)
DTSTART:20211116T210000Z
DTEND:20211116T220000Z
DTSTAMP:20260423T004757Z
UID:PALS/18
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/PALS/18/">A 
 survey of partially ordered algebras</a>\nby Peter Jipsen (Chapman Univers
 ity) as part of PALS Panglobal Algebra and Logic Seminar\n\n\nAbstract\nIn
  June 2003 I gave a talk at the Annual Meeting of the Association for Symb
 olic Logic\, University of Illinois at Chicago\, on “An online database 
 of classes of algebraic structures”. This list of mathematical structure
 s is still on a website at http://math.chapman.edu/~jipsen/structures\, bu
 t is mostly just an alphabetical list of links that point to (sometimes in
 complete) axiomatic descriptions of about 300 categories of universal alge
 bras. This past summer I started a project with Bianca Newell to recreate 
 this list of (partially-ordered) algebraic structures as a computable LaTe
 X document that can be checked for consistency and updated more reliably t
 han the previous collection of webpages. In this talk I will describe this
  project and recent joint work on partially ordered universal algebras wit
 h José Gil-Ferez. In this setting\, a partially ordered universal algebra
  is a poset with finitary operations that are order-preserving or order-re
 versing in each argument\, and congruences are replaced by compatible preo
 rders. Our investigations are based on an unpublished paper from 2004 by D
 on Pigozzi: Partially ordered varieties and quasivarieties\, available at 
 https://orion.math.iastate.edu/dpigozzi/notes/santiago_notes.pdf\n
LOCATION:https://researchseminars.org/talk/PALS/18/
END:VEVENT
END:VCALENDAR