![]() |
![]() |
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
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:
Note that ex-directory lists are not shown. |
Other listsMidlands Logic Seminar Astrophysics Talks Series Analysis seminarOther 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 |