![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Functoriality of modified realizability
Functoriality of modified realizabilityAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Paul Taylor. Room 245 not Sloman Lounge Realizability toposes come in several `flavours’ (ordinary, relative, modified, Herbrand, ...); in most cases, the starting- point is a Schonfinkel algebra (or partial combinatory algebra). Morphisms between Schonfinkel algebras were first studied by John Longley in 1994; thanks to more recent work of Hofstra, Van Oosten and the speaker, we now have a good understanding of how these relate to geometric morphisms between the induced ordinary realizability toposes, and at least a partial understanding of the corresponding question for Herbrand realizability. However, modified realizability has proved more intractable, perhaps because there doesn’t seem to be a clear understanding of what `modified realizability over an arbitrary Schonfinkel algebra’ should actually mean. This talk will survey the present state of our knowledge. 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 listsComputer Science Distinguished Seminar Postgraduate Seminars in the School of Computer Science EPS - College Research and KT Support ActivitiesOther talksTBA Proofs of Turán's theorem Quantum Sensing in Space The tragic destiny of Mileva Marić Einstein Ultrafast Spectroscopy and Microscopy as probes of Energy Materials TBA |