BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2020/newsitem/11578/14
-February-2020-Cool-Logic-Joseph-McDonald
DTSTAMP:20200210T134456
SUMMARY:Cool Logic, Joseph McDonald
ATTENDEE;ROLE=Speaker:Joseph McDonald
DTSTART;TZID=Europe/Amsterdam:20200214T183000
DTEND;TZID=Europe/Amsterdam:20200214T193000
LOCATION:ILLC Seminar Room F1.15, Science Park 107
, Amsterdam
DESCRIPTION:In this talk, I will exposit the funda
mental ideas underlying my current independent res
earch project with Nick Bezhanishvili, in which I
am attempting to give a choice-free topological re
presentation of ortholattices. The standard topolo
gical representation of ortholattices, distributiv
e lattices, and Boolean algebras, relies upon a no
nconstructive choice principle, equivalent to the
Boolean prime ideal theorem - which guarantees the
existence of sufficiently many ultrafilters. My t
opological representation of ortholattices combine
s Bimbo's 2007 orthospace approach to choice-depen
dent Stone duality for ortholattices with Bezhanis
hvili and Holliday's 2020 spectral space approach
to choice-free Stone duality for Boolean algebras.
My aim for this talk is to give a gentle and welc
oming overview of my research project and its surr
ounding subject matter.
X-ALT-DESC;FMTTYPE=text/html:\n In this talk,
I will exposit the fundamental ideas underlying my
current independent research project with Nick Be
zhanishvili, in which I am attempting to give a ch
oice-free topological representation of ortholatti
ces. The standard topological representation of or
tholattices, distributive lattices, and Boolean al
gebras, relies upon a nonconstructive choice princ
iple, equivalent to the Boolean prime ideal theore
m - which guarantees the existence of sufficiently
many ultrafilters. My topological representation
of ortholattices combines Bimbo's 2007 orthospace
approach to choice-dependent Stone duality for ort
holattices with Bezhanishvili and Holliday's 2020
spectral space approach to choice-free Stone duali
ty for Boolean algebras. My aim for this talk is t
o give a gentle and welcoming overview of my resea
rch project and its surrounding subject matter.

URL:http://events.illc.uva.nl/coollogic/talks/113
CONTACT:Cool Logic at siemersm at gmail.com
END:VEVENT
END:VCALENDAR