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.

18 November 2015, Algebra|Coalgebra Seminar, Alberto Gatto

Speaker: Alberto Gatto
Title: Derivative and counting operators on topological spaces
Date: Wednesday 18 November 2015
Time: 17:15-18:15
Location: Room F3.20, Science Park 107, Amsterdam

I will introduce the first-order languages L2 and Lt (from 'Topological model theory' by Flum and Ziegler), and the modal language Lm with derivative and counting operators. I will then illustrate original work which establishes the equivalence between Lt and Lm over T3 spaces, and that the result fails over T2 spaces. I will then present a recent axiomatisation of the Lm theory of the classes of all T3, T2, and T1 spaces. I will then discuss the open problem of proving that Lm enriched with only finitely many other modal operators is still less expressive than Lt over T2 spaces, and present some partial results. Finally, I will conclude by illustrating possible directions of future work.

For more information, see http://www.illc.uva.nl/alg-coalg or contact Frederik Lauridsen () or Julia Ilin ().

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