PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Jan Reimann, Stephen Simpson, Jason Rute.

Title:Fine Structure Theory and Algorithmic Randomness (II)
Seminar:Logic Seminar
Speaker:Jan Reimann, Penn State
Abstract:
Jensen's fine structure theory allows for a canonical definition of codes for levels of Goedel's constructible universe similar to how the Turing jump codes levels of the arithmetic hierarchy. In this talk, we will show how Jensen's codes and algorithmic randomness behave mutually orthogonal. This allows us in turn to derive a metamathematical result about randomness with respect to continuous measures.

Room Reservation Information

Room Number:MB315
Date:02 / 16 / 2016
Time:02:30pm - 03:45pm