University of Birmingham > Talks@bham > Theoretical computer science seminar > Noetherian Quasi-Polish spaces

Noetherian Quasi-Polish spaces

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Paul Taylor.

Inspired by ideas from synthetic topology and using the approach to descriptive set theory via endofunctors, we can define the Delta^0_2-analogue of compactness (or equivalently, overtness). Within the setting of Quasi-Polish spaces, the notion turns out to be equivalent to being Noetherian. I will discuss some (potential) further coincides between higher-order analogues of basic notions and definitions known in topology.

This is based on joint work with Matthew de Brecht, available at []

(Matthew will be visiting 10-19 March and giving a seminar on 17 March.)

This talk is part of the Theoretical computer science seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on from the University of Cambridge.