Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

14 February 2020, Cool Logic, Joseph McDonald

Speaker: Joseph McDonald
Title: Choice-Free Duality for the Stone Space of an Ortholattice
Date: Friday 14 February 2020
Time: 18:30-19:30
Location: ILLC Seminar Room F1.15, Science Park 107, Amsterdam

In this talk, I will exposit the fundamental ideas underlying my current independent research project with Nick Bezhanishvili, in which I am attempting to give a choice-free topological representation of ortholattices. The standard topological representation of ortholattices, distributive lattices, and Boolean algebras, relies upon a nonconstructive choice principle, equivalent to the Boolean prime ideal theorem - 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 ortholattices with Bezhanishvili 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 welcoming overview of my research project and its surrounding subject matter.

For more information, see http://events.illc.uva.nl/coollogic/talks/113 or contact Cool Logic at .

Please note that this newsitem has been archived, and may contain outdated information or links.