BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//UIC
BEGIN:VEVENT
UID:2021042202560320210420T11000020210420T1150006080e5c395352@uic.edu
CATEGORIES:MEETING
STATUS:TENTATIVE
DTSTAMP:20210421T091802
DTSTART:20210420T110000
DTEND:20210420T115000
SUMMARY:Logic Seminar: Left-orders of low computational complexity, by Hang Lu Su
DESCRIPTION:Hang Lu Su (ICMAT, Madrid): Left-orders of low computational complexity Left-orderable groups are groups which admit a strict total order $\prec$ which is invariant under left-multiplication, called left-order. I will explain our approach to the problem of algorithmically determining whether $g \prec h$ using the framework of formal languages, and attempt to give an intuitive justification to the arbitrary choices made in formalising our study of this problem. Finally, I will give an overview of our results concerning left-orders of low computational complexity. Some of these results are joint work with Yago Antolín and Cristóbal Rivas. Please click here to make changes to, or delete, this seminar announcement.
LOCATION:Zoom Chicago IL
CLASS:PRIVATE
END:VEVENT
END:VCALENDAR