![]() |
![]() |
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 listsHuman Computer Interaction seminars Biosciences seminars Midlands Logic SeminarOther talksSensing and metrology activities at NPL, India Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems TBC Quantum simulations using ultra cold ytterbium Ultrafast, all-optical, and highly efficient imaging of molecular chirality Perfect matchings in random sparsifications of Dirac hypergraphs |