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

  Browse A-Z

Log in

System Admin (disabled)details Birmingham usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

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

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Human Computer Interaction seminars Biosciences seminars Midlands Logic Seminar

Other talks

Sensing 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
 

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