Presented By: Logic Seminar - Department of Mathematics
Uniform cardinalities and cofinalities
Benjamin Siskind
Under the axiom of determinacy, Turing cones generate a countably complete ultrafilter: the Martin measure. We will discuss what is known about the cardinal structure of the corresponding ultrapower and explain some connections to an analysis of order-preserving functions on the Turing degrees. This is joint work with Patrick Lutz.