Martin's Conjecture in the Projective Hierarchy 

 (Abstract)

 

Martin's conjecture on degree invariant functions is known to be essentially a large cardinal hypothesis. In this talk we provide a level-by-level analysis of Martin's conjecture in the projective hierarchy in relation to the Axiom of Determinacy, and discuss its consistency strength.  This talk is based on joint work with Wang Wei and Yu Liang.