Some Structure of the Arithmetic Hierarchy | Department of Mathematics

Some Structure of the Arithmetic Hierarchy

Event Information
Event Location: 
GAB 461
Event Date: 
Wednesday, October 31, 2012 - 5:00pm

Abstract: Building on last week's talk, we will analyze the structure of the arithmetically definable sets under two partial orders from recursion theory-the many-one degrees and the turing degrees. In particular, we will focus on results that require a forcing argument