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

Talk held by Andrew Brooke-Taylor (University of Bristol, UK) at the KGRC seminar on 2014-10-16.


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

Bottom menu

Kurt Gödel Research Center for Mathematical Logic. Währinger Straße 25, 1090 Wien, Austria. Phone +43-1-4277-50501. Last updated: 2010-12-16, 04:37.