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

## Noetherian Quasi-Polish spacesAdd 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. |
## Other listsMidlands Logic Seminar Astrophysics Talks Series Analysis seminar## Other talksTBA Proofs of TurĂ¡n's theorem Quantum Sensing in Space TBA Waveform modelling and the importance of multipole asymmetry in Gravitational Wave astronomy TBA |