University of Birmingham > Talks@bham > Theoretical computer science seminar > Reverse mathematics of non-deterministic inductive definitions

## Reverse mathematics of non-deterministic inductive definitionsAdd to your list(s) Download to your calendar using vCal - Hajime Ishihara (JAIST)
- Monday 19 November 2018, 15:00-16:30
- Computer Science, room 245.
If you have a question about this talk, please contact Benedikt Ahrens. We present some reverse mathematics within a constructive set theory, and classify the following theorems in terms of non-deterministic inductive definition (NID) principles: Fullness; the category of basic pairs and relation pairs has coequalisers; the category of sets and relations has weak coequalisers; the category of concrete spaces and convergent relation pairs has equalisers; the class of formal points of a set-presented formal topology is set-generated; the class of models of a geometric theory is set-generated. This is a joint work with Ayana Hirata, Tatsuji Kawai and Takako Nemoto. 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 245
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsCentre for Computational Biology Seminar Series Type the title of a new list here Astrophysics Talks Series## Other talksModelling uncertainty in image analysis. Quantum simulations using ultra cold ytterbium TBC Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Metamaterials for light-matter interaction studies Disorder relevance for non-convex random gradient Gibbs measures in d=2 |