BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/8862/26-April-2017-Algebra|Coalgebra-Seminar-Geor
ge-Metcalfe-
DTSTAMP:20170401T150639
SUMMARY:Algebra|Coalgebra Seminar, George Metcalfe
ATTENDEE;ROLE=Speaker:George Metcalfe (Universität
Bern)
DTSTART:20170426T160000
DTEND:20170426T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
rdam
DESCRIPTION:Ordering conditions for groups provide
useful tools for the study of various relationshi
ps between group theory, universal algebra, topolo
gy, and logic. In this talk, I will describe a new
“algorithmic” ordering condition for extending pa
rtial orders on groups to total orders. I will the
n show how this condition can be used to show that
extending a finite subset of a free group to a to
tal order corresponds to checking validity of a ce
rtain inequation in the class of totally ordered g
roups. As a direct consequence, we obtain a new pr
oof that free groups are orderable.
X-ALT-DESC;FMTTYPE=text/html:\n Ordering condi
tions for groups provide useful tools for the stud
y of various relationships between group theory, u
niversal algebra, topology, and logic. In this tal
k, I will describe a new “algorithmic” ordering co
ndition for extending partial orders on groups to
total orders. I will then show how this condition
can be used to show that extending a finite subset
of a free group to a total order corresponds to c
hecking validity of a certain inequation in the cl
ass of totally ordered groups. As a direct consequ
ence, we obtain a new proof that free groups are o
rderable.

\n
URL:http://www.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen at f.m.lauridsen at uv
a.nl
END:VEVENT
END:VCALENDAR