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  <p>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.</p
 >\n
URL:http://events.illc.uva.nl/coollogic/talks/113
CONTACT:Cool Logic at siemersm at gmail.com
END:VEVENT
END:VCALENDAR