Activity: Participating in or organising an event types › Invited talk

Description

KGRC logic seminar talk: An analogy between cardinal characteristics and highness properties of Turing oracles

Abstract: An analogy may be drawn between cardinal characteristics of the continuum and highness properties of Turing oracles, with forcing constructions as a motivating consideration. In a joint paper with Joerg Brendle, Selwyn Ng and Andre Nies, we spell out this analogy, giving a complete survey of the computability-theoretic analogue of Cichon's diagram, and obtaining further results about other cardinal characteristics. In this talk I will explain the analogy and present some of our results.