Noetherian Quasi-Polish spaces

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

• Arno Pauly
• Thursday 16 February 2017, 12:00-13:00
• Computer Science, Room 217.

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 https://arxiv.org/abs/1607.07291 [arxiv.org]

(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.

This talk is included in these lists:

• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Computer Science, Room 217
• Theoretical computer science seminar
• computer sience

Note that ex-directory lists are not shown.