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

Andrew D Brooke-Taylor (Speaker)

Activity: Participating in or organising an event typesInvited 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.
Period16 Oct 2014
Event typeSeminar

Keywords

  • computability theory
  • set theory